Logical Methods in Computer Science, Special Issue 17

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Journals > Logical Methods in Computer Science

Selected Papers of the Conference "Logic in Computer Science 2009" [LICS 2009]

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1009-1076
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1009-1076
Jérôme Leroux:
The General Vector Addition System Reachability Problem by Presburger Inductive Invariants.
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1007-3769
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1007-3769
Alexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten:
Non-Deterministic Kleene Coalgebras.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1010-0201
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1010-0201
Andrei A. Bulatov, Dániel Marx:
The complexity of global cardinality constraints.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1101-3262
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1101-3262
Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor:
Psi-calculi: a framework for mobile processes with nominal data and logic.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1101-3694
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1101-3694
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre:
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1104-0504
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1104-0504
Michele Basaldella, Claudia Faggian:
Ludics with repetitions (Exponentials, Interactive types and Completeness).
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1103-0510
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1103-0510
Derek Dreyer, Amal Ahmed, Lars Birkedal:
Logical Step-Indexed Logical Relations.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-0778
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-0778
Oliver Friedmann:
An Exponential Lower Bound for the Latest Deterministic Strategy Iteration Algorithms.

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.