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

• 1993
• 
  Parosh Aziz Abdulla, Bengt Jonsson:
  Verifying Programs with Unreliable Channels. LICS 1993: 160-170
• 
  Leo Bachmair, Harald Ganzinger, Uwe Waldmann:
  Set Constraints are the Monadic Class. LICS 1993: 75-83
• 
  Jon Barwise, Jerry Seligman:
  Imperfect information flow. LICS 1993: 252-260
• 
  Paul Beame, Toniann Pitassi:
  An Exponential Separation between the Matching Principle and the Pigeonhole Principle. LICS 1993: 308-319
• 
  Ahmed Bouajjani, Rachid Echahed, Joseph Sifakis:
  On Model Checking for Real-Time Properties with Durations. LICS 1993: 147-159
• 
  Val Tannen, Delia Kesner, Laurence Puel:
  A Typed Pattern Calculus. LICS 1993: 262-274
• 
  Stephen D. Brookes:
  Full Abstraction for a Shared Variable Parallel Language. LICS 1993: 98-109
• 
  Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang:
  Automated Production of Traditional Proofs for Constructive Geometry Theorems. LICS 1993: 48-56
• 
  Søren Christensen, Yoram Hirshfeld, Faron Moller:
  Decomposability, Decidability and Axiomatisability for Bisimulation Equivalence on Basic Parallel Processes. LICS 1993: 386-396
• 
  Bruno Courcelle:
  Monadic Second-Order Logic and Hypergraph Orientation. LICS 1993: 179-190
• 
  Vincent Danos, Laurent Regnier:
  Local and asynchronous beta-reduction (an analysis of Girard's execution formula). LICS 1993: 296-306
• 
  Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi:
  Compositional Analysis for Concurrent Constraint Programming. LICS 1993: 210-221
• 
  Guy Fayolle, Stéphane Grumbach, Christophe Tollu:
  Asymptotic Probabilities of Languages with Generalized Quantifiers. LICS 1993: 199-207
• 
  Amy P. Felty:
  Encoding the Calculus of Constructions in a Higher-Order Logic. LICS 1993: 233-244
• 
  Marcelo P. Fiore:
  A Coinduction Principle for Recursive Data Types Based on Bisimulation. LICS 1993: 110-119
• 
  Matthew Hennessy:
  A Fully Abstract Denotational Model for Higher-Order Processes (Extended Abstract). LICS 1993: 397-408
• 
  Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson:
  Database Query Languages Embedded in the Typed Lambda Calculus. LICS 1993: 332-343
• 
  My Hoang, John C. Mitchell, Ramesh Viswanathan:
  Standard ML-NJ weak polymorphism and imperative constructs. LICS 1993: 15-25
• 
  Lalita Jategaonkar, Albert R. Meyer:
  Self-Synchronization of Concurrent Processes (Preliminary Report). LICS 1993: 409-417
• 
  André Joyal, Mogens Nielsen, Glynn Winskel:
  Bisimulation and open maps. LICS 1993: 418-427
• 
  Phokion G. Kolaitis:
  A Tutorial on Finite Model Theory (Abstract). LICS 1993: 122
• 
  Laks V. S. Lakshmanan, Karima Ashraf, Jiawei Han:
  Homomorphic Tree Embeddings and Their Applications to Recursive Program Optimization. LICS 1993: 344-353
• 
  Joachim Lambek:
  Programs, grammars and arguments: a personal view of some connections between computation, language and logic. LICS 1993: 246-249
• 
  Giuseppe Longo, Kathleen Milsted, Sergei Soloviev:
  The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-calculus (Extended Abstract). LICS 1993: 6-14
• 
  James F. Lynch:
  Infinitary Logics and Very Sparse Random Graphs. LICS 1993: 191-198
• 
  Ursula Martin, Elizabeth Scott:
  The order types of termination orderings on monadic terms, strings and multisets. LICS 1993: 356-363
• 
  John C. Mitchell, Furio Honsell, Kathleen Fisher:
  A lambda calculus of objects and method specialization. LICS 1993: 26-38
• 
  Paliath Narendran, Frank Pfenning, Richard Statman:
  On the Unification Problem for Cartesian Closed Categories. LICS 1993: 57-63
• 
  Paliath Narendran, Michaël Rusinowitch:
  The Unifiability Problem in Ground AC Theories. LICS 1993: 364-370
• 
  Tobias Nipkow:
  Functional Unification of Higher-Order Patterns. LICS 1993: 64-74

skipping 14 more matches