EPTCS 96 - GandALF 2012

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-2028
- ask others
Marco Faella, Aniello Murano (Eds.): Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification. 2012 EPTCS 96 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-2448
- ask others
Marta Capiluppi, Roberto Segala: Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata. ... 1-14
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-2449
- ask others
Chung-Hao Huang, Doron Peled, Sven Schewe, Farn Wang: Rapid Recovery for Systems with Scarce Faults. ... 15-28
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-2450
- ask others
Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna: Interface Simulation Distances. ... 29-42
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-2451
- ask others
Martin Lange, Étienne Lozes, Manuel Vargas Guzmán: Model-Checking Process Equivalences. ... 43-56
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1110-5942
- ask others
Yang Cai, Ting Zhang: Can Nondeterminism Help Complementation? ... 57-70
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-2452
- ask others
Stephan Barth, Martin Hofmann: Learn with SAT to Minimize Büchi Automata. ... 71-84
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-2453
- ask others
Alessandro Solimando, Giorgio Delzanno, Giovanna Guerrini: Automata-based Static Analysis of XML Document Adaptation. ... 85-98
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-2454
- ask others
Aleksandar Dimovski: Symbolic Representation of Algorithmic Game Semantics. ... 99-112
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-2455
- ask others
Julian Gutierrez, Felix Klaedtke, Martin Lange: The μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity. ... 113-126
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-2456
- ask others
Ricardo Almeida, Sabine Broda, Nelma Moreira: Deciding KAT and Hoare Logic with Derivatives. ... 127-140
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-2481
- ask others
Jakub Michaliszyn, Jan Otop, Piotr Witkowski: Satisfiability vs. Finite Satisfiability in Elementary Modal Logics. ... 141-154
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-2479
- ask others
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco: Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture. ... 155-168
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-2457
- ask others
Daniel Neider, Roman Rabinovich, Martin Zimmermann: Down the Borel Hierarchy: Solving Muller Games via Safety Games. ... 169-182
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-2458
- ask others
Wladimir Fridman, Martin Zimmermann: Playing Pushdown Parity Games in a Hurry. ... 183-196
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-2459
- ask others
Felix Canavoi, Erich Grädel, Roman Rabinovich: The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs. ... 197-209
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-2460
- ask others
Pawel Parys: Higher-Order Pushdown Systems with Data. ... 210-223
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-2461
- ask others
Domenico Cantone, Cristiano Longo: A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions. ... 224-237
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-2462
- ask others
Alex Kruckman, Sasha Rubin, John Sheridan, Ben Zax: A Myhill-Nerode theorem for automata with advice. ... 238-246
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-2463
- ask others
Szczepan Hummel: Unambiguous Tree Languages Are Topologically Harder Than Deterministic Ones. ... 247-260