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

• 2000
• 
  Salvador Abreu:
  A Logic-Based Information System. PADL 2000: 141-153
• 
  Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi:
  Labeling and Partial Local Consistency for Soft Constraint Programming. PADL 2000: 230-248
• 
  Tee Yong Chew, Martin Henz, Ka Boon Ng:
  A Toolkit for Constraint-Based Inference Engines. PADL 2000: 185-199
• 
  Tyng-Ruey Chuang, Shin-Cheng Mu:
  Out-of-Core Functional Programming with Type-Based Primitives. PADL 2000: 32-46
• 
  Bart Demoen, Konstantinos Sagonas:
  Heap Garbage Collection in XSB: Practice and Experience. PADL 2000: 93-108
• 
  Daniel Diaz, Philippe Codognet:
  GNU Prolog: Beyond Compiling Prolog to C. PADL 2000: 81-92
• 
  Gopal Gupta, Shameem F. Akhter:
  Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs. PADL 2000: 308-323
• 
  Michael Hanus:
  A Functional Logic Programming Approach to Graphical User Interfaces. PADL 2000: 47-62
• 
  Timothy J. Hickey:
  CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving. PADL 2000: 200-214
• 
  Chris J. Hinde, Richard J. Reader, Kath Phelps:
  HIPPO - A Declarative Graphical Modelling System. PADL 2000: 154-168
• 
  Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi:
  Calculating a New Data Mining Algorithm for Market Basket Analysis. PADL 2000: 169-184
• 
  Shriram Krishnamurthi, Kathryn E. Gray, Paul T. Graunke:
  Transformation-by-Example for XML. PADL 2000: 249-262
• 
  Peter Lee:
  Production-Quality Proof-Carrying Code. PADL 2000: 325
• 
  Julio Mariño, Juan José Moreno-Navarro:
  Using Static Analysis to Compile Non-sequential Functional Logic Programs. PADL 2000: 63-80
• 
  Juan José Moreno-Navarro, Susana Muñoz-Hernández:
  How to Incorporate Negation in a Prolog Compiler. PADL 2000: 124-140
• 
  John Peterson, Valery Trifonov, Andrei Serjantov:
  Parallel Functional Reactive Programming. PADL 2000: 16-31
• 
  I. V. Ramakrishnan:
  Current Trends in Logic Programming: Prospects and Promises. PADL 2000: 324
• 
  Christian Schulte:
  Programming Deep Concurrent Constraint Combinators. PADL 2000: 215-229
• 
  Peter Thiemann:
  Modeling HTML in Haskell. PADL 2000: 263-277
• 
  Mark Tullsen:
  First Class Patterns. PADL 2000: 1-15
• 
  Ching-Long Yeh:
  A Logic Programming Approach to Supporting the Entries of XML Documents in an Object Database. PADL 2000: 278-292
• 
  Tallys H. Yunes, Arnaldo Vieira Moura, Cid C. de Souza:
  A Hybrid Approach for Solving Large Scale Crew Scheduling Problems. PADL 2000: 293-307
• 
  Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
  Implementation of a Linear Tabling Mechanism. PADL 2000: 109-123
• 
  Enrico Pontelli, Vítor Santos Costa:
  Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings. Lecture Notes in Computer Science 1753, Springer 2000, ISBN 3-540-66992-2 [contents]