default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th 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
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.
last updated on 2024-12-12 20:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
