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

• 2023
• 
  Thomas Thurner, Benjamin Esterer, David Fürst, Marianne Hollensteiner, Sabrina Sandriesser, Peter Augat, Roland Pruckner, Daniela Wirthl, Martin Kaltenbrunner, Andreas Müller, Gerhard Förster, Claus Pototschnig, Andreas Schrempf:
  Smart Artificial Soft Tissue - Application to a Hybrid Simulator for Training of Laryngeal Pacemaker Implantation. IEEE Trans. Biomed. Eng. 70(2): 735-746 (2023)
• 2017
• 
  J. Strother Moore, Claus-Peter Wirth:
  Automation of Mathematical Induction as part of the History of Logic. FLAP 4(5) (2017)
• 
  Claus-Peter Wirth:
  Barry Hartley Slater (1936-2016): A Logical Obituary. FLAP 4(2) (2017)
• 
  Claus-Peter Wirth:
  A Simplified and Improved Free-variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice. FLAP 4(2) (2017)
• 
  Claus-Peter Wirth:
  The Explicit Definition of Quantifiers via Hilbert's epsilon is Confluent and Terminating. FLAP 4(2) (2017)
• 2016
• 
  Claus-Peter Wirth, Frieder Stolzenburg:
  A series of revisions of David Poole's specificity. Ann. Math. Artif. Intell. 78(3-4): 205-258 (2016)
• 
  Claus-Peter Wirth:
  The Explicit Definition of Quantifiers via Hilbert's epsilon is Confluent and Terminating. CoRR abs/1611.06389 (2016)
• 2015
• 
  Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth:
  The RatioLog Project: Rational Extensions of Logical Reasoning. Künstliche Intell. 29(3): 271-277 (2015)
• 
  Murdoch James Gabbay, Claus-Peter Wirth:
  Quantifiers in logic and proof-search using permissive-nominal terms and sets. J. Log. Comput. 25(2): 473-523 (2015)
• 
  Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth:
  The RatioLog Project - Rational Extensions of Logical Reasoning. CoRR abs/1503.06087 (2015)
• 2014
• 
  Claus-Peter Wirth, Frieder Stolzenburg:
  David Poole's Specificity Revised. KR 2014
• 
  Claus-Peter Wirth:
  Herbrand's Fundamental Theorem: The Historical Facts and their Streamlining. CoRR abs/1405.6317 (2014)
• 2013
• 
  J Strother Moore, Claus-Peter Wirth:
  Automation of Mathematical Induction as part of the History of Logic. CoRR abs/1309.6226 (2013)
• 
  Claus-Peter Wirth, Frieder Stolzenburg:
  David Poole's Specifity Revised. CoRR abs/1308.4943 (2013)
• 2012
• 
  Claus-Peter Wirth:
  Computer-assisted human-oriented inductive theorem proving by descente infinie - a manifesto. Log. J. IGPL 20(6): 1046-1063 (2012)
• 
  Claus-Peter Wirth:
  lim+, δ⁺, and Non-Permutability of β-Steps. J. Symb. Comput. 47(9): 1109-1135 (2012)
• 
  Claus-Peter Wirth:
  HERBRAND's Fundamental Theorem in the Eyes of JEAN VAN HEIJENOORT. Logica Universalis 6(3-4): 485-520 (2012)
• 2011
• 
  Claus-Peter Wirth:
  A Simplified and Improved Free-Variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice. CoRR abs/1104.2444 (2011)
• 2009
• 
  Claus-Peter Wirth:
  Shallow confluence of conditional term rewriting systems. J. Symb. Comput. 44(1): 60-98 (2009)
• 
  Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier:
  Jacques Herbrand: Life, Logic, and Automated Deduction. Logic from Russell to Church 2009: 195-254
• 
  Claus-Peter Wirth, Rüdiger Lunde:
  Writing Positive/Negative-Conditional Equations Conveniently. CoRR abs/0902.2975 (2009)
• 
  Rüdiger Lunde, Claus-Peter Wirth:
  ASF+ --- eine ASF-aehnliche Spezifikationssprache. CoRR abs/0902.2995 (2009)
• 
  Claus-Peter Wirth:
  Progress in Computer-Assisted Inductive Theorem Proving by Human-Orientedness and Descente Infinie? CoRR abs/0902.3294 (2009)
• 
  Claus-Peter Wirth:
  Syntactic Confluence Criteria for Positive/Negative-Conditional Term Rewriting Systems. CoRR abs/0902.3614 (2009)
• 
  Claus-Peter Wirth:
  A Self-Contained and Easily Accessible Discussion of the Method of Descente Infinie and Fermat's Only Explicitly Known Proof by Descente Infinie. CoRR abs/0902.3623 (2009)
• 
  Claus-Peter Wirth:
  lim+, delta+, and Non-Permutability of beta-Steps. CoRR abs/0902.3635 (2009)
• 
  Volker Mattick, Claus-Peter Wirth:
  An Algebraic Dexter-Based Hypertext Reference Model. CoRR abs/0902.3648 (2009)
• 
  Claus-Peter Wirth:
  Full First-Order Sequent and Tableau Calculi With Preservation of Solutions and the Liberalized delta-Rule but Without Skolemization. CoRR abs/0902.3730 (2009)
• 
  Claus-Peter Wirth:
  Hilbert's epsilon as an Operator of Indefinite Committed Choice. CoRR abs/0902.3749 (2009)
• 
  Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier:
  Lectures on Jacques Herbrand as a Logician. CoRR abs/0902.4682 (2009)

skipping 16 more matches