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

• 1992
• 
  Mantis H. M. Cheng, R. Nigel Horspool, Michael R. Levy, M. H. van Emden:
  Compositional Operational Semantics for Prolog Programs. New Gener. Comput. 10(3): 315-334 (1992)
• 
  Jim A. Crammond:
  The Abstract Machine and Implementation of Parallel Parlog. New Gener. Comput. 10(4): 385-422 (1992)
• 
  Pierre Deransart, Gérard Ferrand:
  An Operational Formal Definition of PROLOG: A Specification Method and Its Application. New Gener. Comput. 10(2): 121-172 (1992)
• 
  Timothy J. Hickey, Jacques Cohen, V. Deschamps:
  Meta-Level Interpretation of Constraint Languages A Case Study: Logical Primitives. New Gener. Comput. 10(4): 361-384 (1992)
• 
  Paola Mello, Antonio Natali:
  Extending Prolog with Moduarity, Concurrency and Meta-Rules. New Gener. Comput. 10(4): 335-360 (1992)
• 
  Lee Naish:
  Declarative Diagnosis of Missing Answers. New Gener. Comput. 10(3): 255-286 (1992)
• 
  Kemal Oflazer:
  Highly Parallel Execution of Product Systems: A Model, Algorithms and Architecture. New Gener. Comput. 10(3): 287-314 (1992)
• 
  Masaru Ohki, Kiyokazu Sakane, Jun Sawamoto:
  Enhanced Qualitative Physical Reasoning System: Qupras. New Gener. Comput. 10(2): 223-254 (1992)
• 
  Claudia Schmittgen, Harald Blödorn, Werner E. Kluge:
  pi-RED*-A Graph Reducer for a Full-Fledged lambda-Calculus. New Gener. Comput. 10(2): 173-196 (1992)
• 
  D. W. Shin, Jong H. Nang, Seungryul Maeng:
  A Typed Functional Extension of Logic Programming. New Gener. Comput. 10(2): 197-222 (1992)
• 1991
• 
  Ian T. Foster:
  Efficient Computation Control in Concurrent Logic Languages. New Gener. Comput. 10(1): 1-22 (1991)
• 
  Ahmed Guessoum, John W. Lloyd:
  Updating Knowledge Bases II. New Gener. Comput. 10(1): 73-100 (1991)
• 
  Katsuro Inoue, Koji Torii:
  Implementing and Analysis of Compile-time Garbage Collection. New Gener. Comput. 10(1): 101-120 (1991)
• 
  A. V. S. Sastry, Lalit M. Patnaik:
  OR-Parallel Evaluation of Logic Programs on a Multi-Ring Dataflow Machine. New Gener. Comput. 10(1): 23-54 (1991)
• 
  Henry Tirri:
  Implementing Expert System Rule Conditions by Neural Networks. New Gener. Comput. 10(1): 55-71 (1991)