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

• 1998
• 
  Farid Ajili, Hendrik C. R. Lock:
  Integrating Constraint Propagation in Complete Solving of Linear Diophantine Systems. PLILP/ALP 1998: 463-480
• 
  Takahito Aoto:
  Solution to the Problem of Zantema on a Persistent Property of Term Rewriting Systems. PLILP/ALP 1998: 250-265
• 
  Puri Arenas-Sánchez, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo:
  Embedding Multiset Constraints into a Lazy Functional Logic Language. PLILP/ALP 1998: 429-444
• 
  Andrea Asperti:
  Optimal Reduction of Functional Expressions. PLILP/ALP 1998: 427-428
• 
  Silvia Breitinger, Ulrike Klusik, Rita Loogen:
  From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of View. PLILP/ALP 1998: 318-334
• 
  Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker:
  Detecting Unsolvable Queries for Definite Logic Programs. PLILP/ALP 1998: 118-133
• 
  John G. Cleary, Lunjin Lu:
  Constructive Negation Using Typed Existence Properties. PLILP/ALP 1998: 411-426
• 
  Michael Codish, Harald Søndergaard:
  The Boolean Logic of Set Sharing Analysis. PLILP/ALP 1998: 89-101
• 
  Charles Consel, Renaud Marlet:
  Architecture Software Using: A Methodology for Language Development. PLILP/ALP 1998: 170-194
• 
  Roberto Di Cosmo, Jean-Vincent Loddo, Stephane Nicolet:
  A Game Semantics Foundation for Logic Programming (Extended Abstract). PLILP/ALP 1998: 355-373
• 
  Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren:
  Logic Programming and Model Checking. PLILP/ALP 1998: 1-20
• 
  Bart Demoen, Konstantinos Sagonas:
  CAT: The Copying Approach to Tabling. PLILP/ALP 1998: 21-35
• 
  Conal Elliott:
  Functional Implementations of Continuos Modeled Animation. PLILP/ALP 1998: 284-299
• 
  Jesper Eskilson, Mats Carlsson:
  SICStus MT - A Multithreaded Execution Environment for SICStus Prolog. PLILP/ALP 1998: 36-53
• 
  Marc Feeley, Martin Larose:
  Compiling Erlang to Scheme. PLILP/ALP 1998: 300-317
• 
  Joseph A. Goguen, Grant Malcolm, Tom Kemp:
  A Hidden Herbrand Theorem. PLILP/ALP 1998: 445-462
• 
  John Hannan:
  Program Analysis in Lambda-Prolog. PLILP/ALP 1998: 353-354
• 
  Michael Hanus, Frank Steiner:
  Controlling Search in Declarative Programs. PLILP/ALP 1998: 374-390
• 
  John Hatcliff, Matthew B. Dwyer, Shawn Laubach:
  Staging Static Analyses Using Abstraction-Based Program Specialization. PLILP/ALP 1998: 134-151
• 
  Delia Kesner, Pablo E. Martínez López:
  Explicit Substitutions for Objects and Functions. PLILP/ALP 1998: 195-212
• 
  Giorgio Levi, Fausto Spoto:
  An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. PLILP/ALP 1998: 152-169
• 
  Giorgio Levi, Paolo Volpe:
  Derivation of Proof Methods by Abstract Interpretation. PLILP/ALP 1998: 102-117
• 
  Sébastien Limet, Frédéric Saubion:
  A General Framework for R-Unification Problems. PLILP/ALP 1998: 266-281
• 
  James Lipton, Robert McGrail:
  Encapsulating Data in Logic Programming via Categorial Constraints. PLILP/ALP 1998: 391-410
• 
  Pierre-Etienne Moreau, Hélène Kirchner:
  A Compiler for Rewrite Programs in Associative-Commutative Theories. PLILP/ALP 1998: 230-249
• 
  Andrew M. Pitts:
  Operational Versus Denotational Methods in the Semantics of Higher Order Languages. PLILP/ALP 1998: 282-283
• 
  Enrico Pontelli, Desh Ranjan, Gopal Gupta:
  The Complexity of Late-Binding in Dynamic Object-Oriented Languages. PLILP/ALP 1998: 213-229
• 
  Philippe Refalo:
  Approaches to the Incremental Detection of Implicit Equalities with the Revised Simplex Method. PLILP/ALP 1998: 481-496
• 
  Jan-Georg Smaus, Patricia M. Hill, Andy King:
  Termination of Logic Programs with block Declarations Running in Several Modes. PLILP/ALP 1998: 73-88
• 
  Wim Vanhoof, Danny De Schreye, Bern Martens:
  A Framework for Bottom Up Specialisation of Logic Programs. PLILP/ALP 1998: 54-72

skipping 310 more matches