• 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 45 matches

• 2007
• 
  Andreas Abel, Thierry Coquand, Peter Dybjer:
  Normalization by Evaluation for Martin-Lof Type Theory with Typed Equality Judgements. LICS 2007: 3-12
• 
  Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga:
  Game Relations and Metrics. LICS 2007: 99-108
• 
  Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin:
  First-Order and Temporal Logics for Nested Words. LICS 2007: 151-160
• 
  Patrick Baillot, Paolo Coppola, Ugo Dal Lago:
  Light Logics and Optimal Reduction: Completeness and Complexity. LICS 2007: 421-430
• 
  Manuel Bodirsky, Hubie Chen:
  Quantified Equality Constraints. LICS 2007: 203-212
• 
  Mikolaj Bojanczyk:
  Two-way unary temporal logic over trees. LICS 2007: 121-130
• 
  Marcello M. Bonsangue, Alexander Kurz:
  Pi-Calculus in Logical Form. LICS 2007: 303-312
• 
  Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell:
  The Cost of Punctuality. LICS 2007: 109-120
• 
  Paul Brauner, Clément Houtmann, Claude Kirchner:
  Principles of Superdeduction. LICS 2007: 41-50
• 
  James Brotherston, Alex Simpson:
  Complete Sequent Calculi for Induction and Infinite Descent. LICS 2007: 51-62
• 
  Cristiano Calcagno, Peter W. O'Hearn, Hongseok Yang:
  Local Action and Abstract Separation Logic. LICS 2007: 366-378
• 
  Balder ten Cate, Johan van Benthem, Jouko A. Väänänen:
  Lindstrom theorems for fragments of first-order logic. LICS 2007: 280-292
• 
  Mika Cohen, Mads Dam:
  A Complete Axiomatization of Knowledge and Cryptography. LICS 2007: 77-88
• 
  Anuj Dawar, Martin Grohe, Stephan Kreutzer:
  Locally Excluding a Minor. LICS 2007: 270-279
• 
  Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang:
  Characterising Testing Preorders for Finite Probabilistic Processes. LICS 2007: 313-325
• 
  Abbas Edalat:
  A computable approach to measure and integration theory. LICS 2007: 463-472
• 
  László Egri, Benoît Larose, Pascal Tesson:
  Symmetric Datalog and Constraint Satisfaction Problems in Logspace. LICS 2007: 193-202
• 
  Martín Hötzel Escardó:
  Infinite sets that admit fast exhaustive search. LICS 2007: 443-452
• 
  Hugo Gimbert, Wieslaw Zielonka:
  Limits of Multi-Discounted Markov Decision Processes. LICS 2007: 89-98
• 
  Jean Goubault-Larrecq:
  On Noetherian Spaces. LICS 2007: 453-462
• 
  Thomas C. Hales:
  Some Methods of Problem Solving in Elementary Geometry. LICS 2007: 35-40
• 
  Russell Harmer, Martin Hyland, Paul-André Melliès:
  Categorical Combinatorics for Innocent Strategies. LICS 2007: 379-388
• 
  Pawel M. Idziak, Petar Markovic, Ralph McKenzie, Matthew Valeriote, Ross Willard:
  Tractability and learnability arising from algebras with few subpowers. LICS 2007: 213-224
• 
  Marcin Jurdzinski, Ranko Lazic:
  Alternation-free modal mu-calculus for data trees. LICS 2007: 131-140
• 
  Detlef Kähler, Ralf Küsters, Tomasz Truderung:
  Infinite State AMC-Model Checking for Cryptographic Protocols. LICS 2007: 181-192
• 
  Bartek Klin:
  Bialgebraic Operational Semantics and Modal Logic. LICS 2007: 336-345
• 
  Phokion G. Kolaitis:
  Reflections on Finite Model Theory. LICS 2007: 257-269
• 
  Paul-André Melliès, Nicolas Tabareau:
  Resource modalities in game semantics. LICS 2007: 389-398
• 
  Wojciech Moczydlowski:
  A Dependent Set Theory. LICS 2007: 23-34
• 
  Rasmus Ejlers Møgelberg, Alex Simpson:
  Relational Parametricity for Computational Effects. LICS 2007: 346-355

skipping 15 more matches