![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
5th GandALF 2014: Verona, Italy
- Adriano Peron, Carla Piazza
:
Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014. EPTCS 161, 2014 - Antti Kuusisto:
Some Turing-Complete Extensions of First-Order Logic. 4-17 - Jonni Virtema
:
Complexity of validity for propositional dependence logics. 18-31 - Amir M. Ben-Amram:
The Hardness of Finding Linear Ranking Functions for Lasso Programs. 32-45 - Christian Wurm:
Kleene Algebras, Regular Languages and Substructural Logics. 46-59 - Peter Faymonville
, Martin Zimmermann
:
Parametric Linear Dynamic Logic. 60-73 - Constantin Enea, Peter Habermehl, Omar Inverso
, Gennaro Parlato
:
On the Path-Width of Integer Linear Programming. 74-87 - Christof Löding, Sarah Winter:
Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations. 88-101 - Angelo Montanari, Pietro Sala
:
Interval-based Synthesis. 102-115 - Florian Bruse, Michael Falk, Martin Lange:
The Fixpoint-Iteration Algorithm for Parity Games. 116-130 - Giorgio Delzanno, Michele Tatarek, Riccardo Traverso:
Model Checking Paxos in Spin. 131-146 - Antti Kuusisto:
Infinite Networks, Halting and Local Algorithms. 147-160 - Jason Jaskolka
, Ridha Khédri:
A Formulation of the Potential for Communication Condition using C2KA. 161-174 - Yuki Osada, Tim French
, Mark Reynolds
, Harry Smallbone:
Hourglass Automata. 175-188 - Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen:
Deterministic Automata for Unordered Trees. 189-202 - Davide Bresolin
, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko:
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power. 203-216 - Bernd Finkbeiner, Ernst-Rüdiger Olderog:
Petri Games: Synthesis of Distributed Systems with Causal Memory. 217-230 - Marcin Przybylko:
Tree games with regular objectives. 231-244 - Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
:
Improved Undecidability Results for Reachability Games on Recursive Timed Automata. 245-259 - Ilaria De Crescenzo, Salvatore La Torre, Yaron Velner:
Visibly Pushdown Modular Games. 260-274
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.