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

• 2014
• 
  Jörg H. Siekmann:
  Computational Logic. Handbook of the History of Logic 9, Elsevier 2014, ISBN 978-0-444-51624-4 [contents]
• 
  Klaus Ambos-Spies, Peter A. Fejer:
  Degrees of Unsolvability. Computational Logic 2014: 443-494
• 
  Jos C. M. Baeten, Davide Sangiorgi:
  Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi. Computational Logic 2014: 399-442
• 
  Christoph Benzmüller, Dale Miller:
  Automation of Higher-Order Logic. Computational Logic 2014: 215-254
• 
  Martin Davis:
  Logic and the development of the computer. Computational Logic 2014: 31-38
• 
  Didier Dubois, Henri Prade:
  Possibilistic Logic - An Overview. Computational Logic 2014: 283-342
• 
  Lance Fortnow, Steven Homer:
  Computational Complexity. Computational Logic 2014: 495-521
• 
  Dov M. Gabbay:
  What is a logical system? An evolutionary view: 1964-2014. Computational Logic 2014: 41-132
• 
  John Harrison, Josef Urban, Freek Wiedijk:
  History of Interactive Theorem Proving. Computational Logic 2014: 135-214
• 
  Pascal Hitzler, Jens Lehmann, Axel Polleres:
  Logics for the Semantic Web. Computational Logic 2014: 679-710
• 
  Fairouz Kamareddine, Joe B. Wells, Christoph Zengler, Henk Barendregt:
  Computerising Mathematical Text. Computational Logic 2014: 343-396
• 
  Claude Kirchner, Hélène Kirchner:
  Equational Logic and Rewriting. Computational Logic 2014: 255-282
• 
  Matthias Knorr, Pascal Hitzler:
  Description Logics. Computational Logic 2014: 659-678
• 
  Robert A. Kowalski:
  Logic Programming. Computational Logic 2014: 523-569
• 
  John-Jules Ch. Meyer:
  Logics for Intelligent Agents and Multi-Agent Systems. Computational Logic 2014: 629-658
• 
  Jack Minker, Dietmar Seipel, Carlo Zaniolo:
  Logic and Databases: A History of Deductive Databases. Computational Logic 2014: 571-627
• 
  Jörg H. Siekmann:
  Computational Logic. Computational Logic 2014: 15-30
• 
  Jörg H. Siekmann, Dov M. Gabbay:
  Editorial Note. Computational Logic 2014
• 2012
• 
  Dov M. Gabbay, Francis Jeffry Pelletier, John Woods:
  Logic: A History of its Central Concepts. Handbook of the History of Logic 11, Elsevier 2012, ISBN 978-0-444-52937-4 [contents]
• 
  Dov M. Gabbay, Akihiro Kanamori, John Woods:
  Sets and Extensions in the Twentieth Century. Handbook of the History of Logic 6, Elsevier 2012, ISBN 978-0-444-51621-3 [contents]
• 
  Conrad Asmus, Greg Restall:
  A History of The Consequence Relations. Logic: A History of its Central Concepts 2012: 11-61
• 
  John L. Bell:
  Types, Sets, and Categories. Sets and Extensions in the Twentieth Century 2012: 633-687
• 
  Jean-Yves Béziau:
  A History of Truth-Values. Logic: A History of its Central Concepts 2012: 235-307
• 
  Daniel Bonevac:
  A History of Quantification. Logic: A History of its Central Concepts 2012: 63-126
• 
  Daniel Bonevac, Josh Dever:
  A History of The Connectives. Logic: A History of its Central Concepts 2012: 175-233
• 
  Dov M. Gabbay, Francis Jeffry Pelletier, John Woods:
  Preface. Logic: A History of its Central Concepts 2012
• 
  M. Randall Holmes, Thomas E. Forster, Thierry Libert:
  Alternative Set Theories. Sets and Extensions in the Twentieth Century 2012: 559-632
• 
  Fairouz Kamareddine, Twan Laan, Robert L. Constable:
  Russell's Orders in Kripke's Theory of Truth and Computational Type Theory. Sets and Extensions in the Twentieth Century 2012: 801-845
• 
  Fairouz Kamareddine, Twan Laan, Rob Nederpelt:
  A History of Types^*. Logic: A History of its Central Concepts 2012: 451-511
• 
  Akihiro Kanamori:
  Set Theory from Cantor to Cohen. Sets and Extensions in the Twentieth Century 2012: 1-71

skipping 128 more matches