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

• 1994
• 
  Giuseppe Attardi, Maria Simi:
  Building Proofs in Context. META 1994: 410-424
• 
  Jonas Barklund, Katrin Boberg, Pierangelo Dell'Acqua:
  A Basis for a Multi-Level Meta-Logic Programming Language. META 1994: 262-275
• 
  David A. Basin:
  Logic Frameworks for Logic Programs. LOPSTR 1994: 1-16
• 
  Nacéra Bensaou, Irène Guessarian:
  An Extended Transformation System for CLP Programs. LOPSTR 1994: 17-35
• 
  Annalisa Bossi, Sandro Etalle:
  More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics. META 1994: 311-331
• 
  Dmitri Boulanger, Maurice Bruynooghe:
  Using Call/Exit Analysis for Logic Program Transformation. LOPSTR 1994: 36-50
• 
  Antonio Brogi, Simone Contiero:
  Gödel as a Meta-Language for Composing Logic Programs. META 1994: 377-394
• 
  Marco Comini, Giorgio Levi, Giuliana Vitiello:
  Abstract Debugging of Logic Program. META 1994: 440-450
• 
  J. Cook, John P. Gallagher:
  A Transformation System for Definite Programs Based on Termination Analysis. LOPSTR 1994: 51-68
• 
  Barbara Dunin-Keplicz:
  An Architecture with Multiple Meta-Levels for the Development of Correct Programs. META 1994: 293-310
• 
  Pierre Flener, Lubos Popelínský:
  On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects. LOPSTR 1994: 69-87
• 
  David R. Gilbert, Christopher J. Hogger, Jirí Zlatuska:
  Transforming Specifications of Observable Behaviour into Programs. LOPSTR 1994: 88-103
• 
  Fausto Giunchiglia, Alessandro Cimatti:
  Introspective Metatheoretic Reasoning. META 1994: 425-439
• 
  Frank van Harmelen:
  A Model of Costs and Benefits of Meta-Level Computation. META 1994: 248-261
• 
  Patricia M. Hill:
  A Module System for Meta-Programming. META 1994: 395-409
• 
  Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur:
  Formal Semantics of Temporal Epistemic Reflection. META 1994: 332-352
• 
  Kung-Kiu Lau, Mario Ornaghi:
  On Specification Frameworks and Deductive Synthesis of Logic Programs. LOPSTR 1994: 104-121
• 
  Michael Leuschel:
  Partial Evaluation of the "Real Thing". LOPSTR 1994: 122-137
• 
  Emmanuil I. Marakakis, John P. Gallagher:
  Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types. LOPSTR 1994: 138-153
• 
  Marion Mircheva:
  Logic Programs with Tests. META 1994: 276-292
• 
  Sophie Renault:
  Generalizing Extended Execution for Normal Programs. LOPSTR 1994: 154-169
• 
  Chiaki Sakama, Hirohisa Seki:
  Partial Deduction of Disjunctive Logic Programs: A Declarative Approach. LOPSTR 1994: 170-182
• 
  Giovanni Semeraro, Floriana Esposito, Donato Malerba, Clifford Brunk, Michael J. Pazzani:
  Avoiding Non-Termination when Learning Logical Programs: A Case Study with FOIL and FOCL. LOPSTR 1994: 183-198
• 
  Christine Solnon, Michel Rueher:
  Propagation of Inter-argument Dependencies in "Tuple-distributive" Type Inference Systems. LOPSTR 1994: 199-214
• 
  Paul Tarau, Verónica Dahl:
  Logic Programming and Logic Grammars with First-Order Continuations. LOPSTR 1994: 215-230
• 
  Jan Treur:
  Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning. META 1994: 353-376
• 
  Geraint A. Wiggins:
  Improving the Whelk System: A Type-Theoretic Reconstruction. LOPSTR 1994: 231-247
• 
  Laurent Fribourg, Franco Turini:
  Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings. Lecture Notes in Computer Science 883, Springer 1994, ISBN 3-540-58792-6 [contents]
• 1992
• 
  Reem Bahgat:
  The Pandora Deadlock Handler Meta-Level Relation. META 1992: 162-176
• 
  Kerima Benkerimi, Patricia M. Hill:
  Object-Oriented Programming in Gödel: An Experiment. META 1992: 177-191

skipping 51 more matches