• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 14 matches

• 2015
• 
  Parosh Aziz Abdulla, Giorgio Delzanno, Marco Montali:
  Well Structured Transition Systems with History. GandALF 2015: 115-128
• 
  Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim Guldstrand Larsen, Simon Laursen:
  Average-energy games. GandALF 2015: 1-15
• 
  Rayna Dimitrova, Rupak Majumdar:
  Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs. GandALF 2015: 100-114
• 
  Arnaud Durand, Juha Kontinen, Nicolas de Rugy-Altherre, Jouko Väänänen:
  Tractability Frontier of Data Complexity in Team Semantics. GandALF 2015: 73-85
• 
  Maciej Gazda, Tim A. C. Willemse:
  Improvement in Small Progress Measures. GandALF 2015: 158-171
• 
  Anshul Gupta, Sven Schewe, Dominik Wojtczak:
  Making the Best of Limited Memory in Multi-Player Discounted Sum Games. GandALF 2015: 16-30
• 
  Lauri Hella, Johanna Stumpf:
  The expressive power of modal logic with inclusion atoms. GandALF 2015: 129-143
• 
  Philipp Hoffmann:
  Negotiation Games. GandALF 2015: 31-42
• 
  François Laroussinie, Nicolas Markey, Arnaud Sangnier:
  ATLsc with partial observation. GandALF 2015: 43-57
• 
  Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci:
  Simulator Semantics for System Level Formal Verification. GandALF 2015: 86-99
• 
  Ryoma Sin'ya:
  An Automata Theoretic Approach to the Zero-One Law for Regular Languages: Algorithmic and Logical Aspects. GandALF 2015: 172-185
• 
  Christian Wurm:
  Synchronous Subsequentiality and Approximations to Undecidable Problems. GandALF 2015: 58-72
• 
  Martin Zimmermann:
  Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL. GandALF 2015: 144-157
• 
  Javier Esparza, Enrico Tronci:
  Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September 2015. EPTCS 193, 2015 [contents]