default search action

combined dblp search
author search
venue search
publication search

ask others

7th GandALF 2016: Catania, Italy

> Home > Conferences and Workshops > GandALF

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/CantoneD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CantoneD16
Domenico Cantone, Giorgio Delzanno:
Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016. EPTCS 226, 2016
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Ah-FatH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Ah-FatH16
Patrick Ah-Fat, Michael Huth:
Partial Solvers for Parity Games: Effective Polynomial-Time Composition. 1-15
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ArecesFHM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ArecesFHM16
Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel:
Relation-Changing Logics as Fragments of Hybrid Logics. 16-29
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BenerecettiDM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BenerecettiDM16
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero:
A Delayed Promotion Policy for Parity Games. 30-45
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BezhanishviliK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BezhanishviliK16
Nick Bezhanishvili, Clemens Kupke:
Games for Topological Fixpoint Logic. 46-60
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BouyerMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BouyerMS16
Patricia Bouyer, Nicolas Markey, Daniel Stan:
Stochastic Equilibria under Imprecise Deviations in Terminal-Reward Concurrent Games. 61-75
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BozzelliMMPS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BozzelliMMPS16
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete. 76-90
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BresolinMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BresolinMS16
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco:
On the Expressive Power of Sub-Propositional Fragments of Modal Logic. 91-104
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Bruse16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Bruse16
Florian Bruse:
Alternation Is Strict For Higher-Order Modal Fixpoint Logic. 105-119
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BruseK016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BruseK016
Florian Bruse, Daniel Kernberger, Martin Lange:
A Canonical Model Construction for Iteration-Free PDL with Intersection. 120-134
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BruyereHR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BruyereHR16
Véronique Bruyère, Quentin Hautem, Mickael Randour:
Window parity games: an alternative approach toward parity games with time bounds. 135-148
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DrosteR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DrosteR16
Manfred Droste, George Rahonis:
Weighted Linear Dynamic Logic. 149-163
- view
  authority control:
- export record
  dblp key:
  - journals/corr/FontaineMMPS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FontaineMMPS16
Gaëlle Fontaine, Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino:
Cycle Detection in Computation Tree Logic. 164-177
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GantyV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GantyV16
Pierre Ganty, Damir Valput:
Bounded-oscillation Pushdown Automata. 178-197
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HannulaKLV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HannulaKLV16
Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema:
On Quantified Propositional Logics and the Exponential Time Hierarchy. 198-212
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HutagalungHK0L16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HutagalungHK0L16
Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske, Martin Lange, Étienne Lozes:
Multi-Buffer Simulations for Trace Language Inclusion. 213-227
- view
  authority control:
- export record
  dblp key:
  - journals/corr/JacobsTZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JacobsTZ15
Swen Jacobs, Leander Tentrup, Martin Zimmermann:
Distributed PROMPT-LTL Synthesis. 228-241
- view
  authority control:
- export record
  dblp key:
  - journals/corr/0001P16b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/0001P16b
Stéphane Le Roux, Arno Pauly:
A Semi-Potential for Finite and Infinite Sequential Games (Extended Abstract). 242-256
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LibalV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LibalV16
Tomer Libal, Marco Volpe:
Certification of Prefixed Tableau Proofs for Modal Logic. 257-271
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Nakamura16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Nakamura16
Yoshiki Nakamura:
The Almost Equivalence by Asymptotic Probabilities for Regular Languages and Its Computational Complexities. 272-286
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Reynolds16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Reynolds16a
Mark Reynolds:
A New Rule for LTL Tableaux. 287-301
- view
  authority control:
- export record
  dblp key:
  - journals/corr/TentrupWZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/TentrupWZ15
Leander Tentrup, Alexander Weinert, Martin Zimmermann:
Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time. 302-315

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.