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

• 1995
• 
  Amihood Amir, Martin Farach, Ramana M. Idury, Johannes A. La Poutré, Alejandro A. Schäffer:
  Improved Dynamic Dictionary Matching. Inf. Comput. 119(2): 258-282 (1995)
• 
  Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
  Intersection and Union Types: Syntax and Semantics. Inf. Comput. 119(2): 202-230 (1995)
• 
  Jan A. Bergstra, Jan Heering:
  Homomorphism Preserving Algebraic Specifications Require Hidden Sorts. Inf. Comput. 119(1): 119-123 (1995)
• 
  Zhi-Zhong Chen, Seinosuke Toda:
  The Complexity of Selecting Maximal Solutions. Inf. Comput. 119(2): 231-239 (1995)
• 
  Roberto Di Cosmo:
  Second Order Isomorphic Types: A Proof Theoretic Study on Second Order lambda-Calculus with Surjective Paring and Terminal Object. Inf. Comput. 119(2): 176-201 (1995)
• 
  Anuj Dawar, Steven Lindell, Scott Weinstein:
  Infinitary Logic and Inductive Definability over Finite Structures. Inf. Comput. 119(2): 160-175 (1995)
• 
  Wil Dekkers:
  Inhabitation of Types in the Simply Typed Lambda Calculus. Inf. Comput. 119(1): 14-17 (1995)
• 
  Filomena Ferrucci, Giuliano Pacini, Maria I. Sessa:
  Redundancy Elimination and Loop Checks for Logic Programs. Inf. Comput. 119(2): 137-153 (1995)
• 
  Xavier Gouy, Ying Jiang:
  Universal Retractions on DI-Domains. Inf. Comput. 119(2): 252-257 (1995)
• 
  Erich Grädel, Gregory L. McColm:
  On the Power of Deterministic Transitive Closures. Inf. Comput. 119(1): 129-135 (1995)
• 
  Torben Hagerup:
  A Lower Bound for the Emulation of PRAM Memories on Processor Networks. Inf. Comput. 119(1): 124-128 (1995)
• 
  Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott:
  A Variable Typed Logic of Effects. Inf. Comput. 119(1): 55-90 (1995)
• 
  Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries:
  Transfinite Reductions in Orthogonal Term Rewriting Systems. Inf. Comput. 119(1): 18-38 (1995)
• 
  Kamal Lodaya, Rohit Parikh, Ramaswamy Ramanujam, P. S. Thiagarajan:
  A Logical Study of Distributed Transition Systems. Inf. Comput. 119(1): 91-118 (1995)
• 
  Yves Métivier, Gwénaël Richomme:
  New Results on the Star Problem in Trace Monoids. Inf. Comput. 119(2): 240-251 (1995)
• 
  Katsutoshi Nakayama, Akira Maruoka:
  Loop Circuits and Their Relation to Razborov's Approximation Model. Inf. Comput. 119(2): 154-159 (1995)
• 
  Gil Neiger:
  Simplifying the Design of Knowledge-Based Algorithms Using Knowledge Consistency. Inf. Comput. 119(2): 283-293 (1995)
• 
  Jennifer Seberry, Xian-Mo Zhang, Yuliang Zheng:
  Nonlinearity and Propagation Characteristics of Balanced Boolean Functions. Inf. Comput. 119(1): 1-13 (1995)
• 
  Kenji Yamanishi:
  A Loss Bound Model for On-Line Stochastic Prediction Algorithms. Inf. Comput. 119(1): 39-54 (1995)