Search dblp for Publications

export results for "Claus-Peter Wirth"

 download as .bib file

@article{DBLP:journals/flap/MooreW17,
  author    = {J. Strother Moore and
               Claus{-}Peter Wirth},
  title     = {Automation of Mathematical Induction as part of the History of Logic},
  journal   = {{FLAP}},
  volume    = {4},
  number    = {5},
  year      = {2017},
  url       = {http://www.collegepublications.co.uk/downloads/ifcolog00014.pdf},
  timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/flap/MooreW17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/Wirth17,
  author    = {Claus{-}Peter Wirth},
  title     = {Barry Hartley Slater {(1936-2016):} {A} Logical Obituary},
  journal   = {{FLAP}},
  volume    = {4},
  number    = {2},
  year      = {2017},
  url       = {http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf},
  timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/flap/Wirth17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/Wirth17a,
  author    = {Claus{-}Peter Wirth},
  title     = {A Simplified and Improved Free-variable Framework for Hilbert's epsilon
               as an Operator of Indefinite Committed Choice},
  journal   = {{FLAP}},
  volume    = {4},
  number    = {2},
  year      = {2017},
  url       = {http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf},
  timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/flap/Wirth17a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/Wirth17b,
  author    = {Claus{-}Peter Wirth},
  title     = {The Explicit Definition of Quantifiers via Hilbert's epsilon is Confluent
               and Terminating},
  journal   = {{FLAP}},
  volume    = {4},
  number    = {2},
  year      = {2017},
  url       = {http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf},
  timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/flap/Wirth17b.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/WirthS16,
  author    = {Claus{-}Peter Wirth and
               Frieder Stolzenburg},
  title     = {A series of revisions of David Poole's specificity},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {78},
  number    = {3-4},
  pages     = {205--258},
  year      = {2016},
  url       = {https://doi.org/10.1007/s10472-015-9471-9},
  doi       = {10.1007/s10472-015-9471-9},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/amai/WirthS16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Wirth16,
  author    = {Claus{-}Peter Wirth},
  title     = {The Explicit Definition of Quantifiers via Hilbert's epsilon is Confluent
               and Terminating},
  journal   = {CoRR},
  volume    = {abs/1611.06389},
  year      = {2016},
  url       = {http://arxiv.org/abs/1611.06389},
  archivePrefix = {arXiv},
  eprint    = {1611.06389},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/Wirth16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/FurbachSSWW15,
  author    = {Ulrich Furbach and
               Claudia Schon and
               Frieder Stolzenburg and
               Karl{-}Heinz Weis and
               Claus{-}Peter Wirth},
  title     = {The RatioLog Project: Rational Extensions of Logical Reasoning},
  journal   = {K{\"{u}}nstliche Intell.},
  volume    = {29},
  number    = {3},
  pages     = {271--277},
  year      = {2015},
  url       = {https://doi.org/10.1007/s13218-015-0377-9},
  doi       = {10.1007/s13218-015-0377-9},
  timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ki/FurbachSSWW15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GabbayW15,
  author    = {Murdoch James Gabbay and
               Claus{-}Peter Wirth},
  title     = {Quantifiers in logic and proof-search using permissive-nominal terms
               and sets},
  journal   = {J. Log. Comput.},
  volume    = {25},
  number    = {2},
  pages     = {473--523},
  year      = {2015},
  url       = {https://doi.org/10.1093/logcom/exs057},
  doi       = {10.1093/logcom/exs057},
  timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/logcom/GabbayW15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FurbachSSWW15,
  author    = {Ulrich Furbach and
               Claudia Schon and
               Frieder Stolzenburg and
               Karl{-}Heinz Weis and
               Claus{-}Peter Wirth},
  title     = {The RatioLog Project - Rational Extensions of Logical Reasoning},
  journal   = {CoRR},
  volume    = {abs/1503.06087},
  year      = {2015},
  url       = {http://arxiv.org/abs/1503.06087},
  archivePrefix = {arXiv},
  eprint    = {1503.06087},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/FurbachSSWW15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/WirthS14,
  author    = {Claus{-}Peter Wirth and
               Frieder Stolzenburg},
  editor    = {Chitta Baral and
               Giuseppe De Giacomo and
               Thomas Eiter},
  title     = {David Poole's Specificity Revised},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
               July 20-24, 2014},
  publisher = {{AAAI} Press},
  year      = {2014},
  url       = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7799},
  timestamp = {Thu, 31 Jul 2014 10:24:17 +0200},
  biburl    = {https://dblp.org/rec/conf/kr/WirthS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Wirth14,
  author    = {Claus{-}Peter Wirth},
  title     = {Herbrand's Fundamental Theorem: The Historical Facts and their Streamlining},
  journal   = {CoRR},
  volume    = {abs/1405.6317},
  year      = {2014},
  url       = {http://arxiv.org/abs/1405.6317},
  archivePrefix = {arXiv},
  eprint    = {1405.6317},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/Wirth14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MooreW13,
  author    = {J Strother Moore and
               Claus{-}Peter Wirth},
  title     = {Automation of Mathematical Induction as part of the History of Logic},
  journal   = {CoRR},
  volume    = {abs/1309.6226},
  year      = {2013},
  url       = {http://arxiv.org/abs/1309.6226},
  archivePrefix = {arXiv},
  eprint    = {1309.6226},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/MooreW13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WirthS13,
  author    = {Claus{-}Peter Wirth and
               Frieder Stolzenburg},
  title     = {David Poole's Specifity Revised},
  journal   = {CoRR},
  volume    = {abs/1308.4943},
  year      = {2013},
  url       = {http://arxiv.org/abs/1308.4943},
  archivePrefix = {arXiv},
  eprint    = {1308.4943},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/WirthS13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Wirth12,
  author    = {Claus{-}Peter Wirth},
  title     = {Computer-assisted human-oriented inductive theorem proving by \emph{descente
               infinie} - a manifesto},
  journal   = {Log. J. {IGPL}},
  volume    = {20},
  number    = {6},
  pages     = {1046--1063},
  year      = {2012},
  url       = {https://doi.org/10.1093/jigpal/jzr048},
  doi       = {10.1093/jigpal/jzr048},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/igpl/Wirth12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Wirth12,
  author    = {Claus{-}Peter Wirth},
  title     = {lim+, {\(\delta\)}\({}^{\mbox{+}}\), and Non-Permutability of {\(\beta\)}-Steps},
  journal   = {J. Symb. Comput.},
  volume    = {47},
  number    = {9},
  pages     = {1109--1135},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.jsc.2011.12.035},
  doi       = {10.1016/j.jsc.2011.12.035},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jsc/Wirth12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/Wirth12,
  author    = {Claus{-}Peter Wirth},
  title     = {HERBRAND's Fundamental Theorem in the Eyes of {JEAN} {VAN} {HEIJENOORT}},
  journal   = {Logica Universalis},
  volume    = {6},
  number    = {3-4},
  pages     = {485--520},
  year      = {2012},
  url       = {https://doi.org/10.1007/s11787-012-0056-7},
  doi       = {10.1007/s11787-012-0056-7},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/lu/Wirth12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-2444,
  author    = {Claus{-}Peter Wirth},
  title     = {A Simplified and Improved Free-Variable Framework for Hilbert's epsilon
               as an Operator of Indefinite Committed Choice},
  journal   = {CoRR},
  volume    = {abs/1104.2444},
  year      = {2011},
  url       = {http://arxiv.org/abs/1104.2444},
  archivePrefix = {arXiv},
  eprint    = {1104.2444},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1104-2444.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Wirth09,
  author    = {Claus{-}Peter Wirth},
  title     = {Shallow confluence of conditional term rewriting systems},
  journal   = {J. Symb. Comput.},
  volume    = {44},
  number    = {1},
  pages     = {60--98},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.jsc.2008.05.005},
  doi       = {10.1016/j.jsc.2008.05.005},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jsc/Wirth09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/WirthSBA09,
  author    = {Claus{-}Peter Wirth and
               J{\"{o}}rg H. Siekmann and
               Christoph Benzm{\"{u}}ller and
               Serge Autexier},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Jacques Herbrand: Life, Logic, and Automated Deduction},
  booktitle = {Logic from Russell to Church},
  series    = {Handbook of the History of Logic},
  volume    = {5},
  pages     = {195--254},
  publisher = {Elsevier},
  year      = {2009},
  url       = {https://doi.org/10.1016/S1874-5857(09)70009-3},
  doi       = {10.1016/S1874-5857(09)70009-3},
  timestamp = {Thu, 09 Jul 2020 09:13:36 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/WirthSBA09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-2975,
  author    = {Claus{-}Peter Wirth and
               R{\"{u}}diger Lunde},
  title     = {Writing Positive/Negative-Conditional Equations Conveniently},
  journal   = {CoRR},
  volume    = {abs/0902.2975},
  year      = {2009},
  url       = {http://arxiv.org/abs/0902.2975},
  archivePrefix = {arXiv},
  eprint    = {0902.2975},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-0902-2975.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-2995,
  author    = {R{\"{u}}diger Lunde and
               Claus{-}Peter Wirth},
  title     = {{ASF+} --- eine ASF-aehnliche Spezifikationssprache},
  journal   = {CoRR},
  volume    = {abs/0902.2995},
  year      = {2009},
  url       = {http://arxiv.org/abs/0902.2995},
  archivePrefix = {arXiv},
  eprint    = {0902.2995},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-0902-2995.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-3294,
  author    = {Claus{-}Peter Wirth},
  title     = {Progress in Computer-Assisted Inductive Theorem Proving by Human-Orientedness
               and Descente Infinie?},
  journal   = {CoRR},
  volume    = {abs/0902.3294},
  year      = {2009},
  url       = {http://arxiv.org/abs/0902.3294},
  archivePrefix = {arXiv},
  eprint    = {0902.3294},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-0902-3294.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-3614,
  author    = {Claus{-}Peter Wirth},
  title     = {Syntactic Confluence Criteria for Positive/Negative-Conditional Term
               Rewriting Systems},
  journal   = {CoRR},
  volume    = {abs/0902.3614},
  year      = {2009},
  url       = {http://arxiv.org/abs/0902.3614},
  archivePrefix = {arXiv},
  eprint    = {0902.3614},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-0902-3614.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-3623,
  author    = {Claus{-}Peter Wirth},
  title     = {A Self-Contained and Easily Accessible Discussion of the Method of
               Descente Infinie and Fermat's Only Explicitly Known Proof by Descente
               Infinie},
  journal   = {CoRR},
  volume    = {abs/0902.3623},
  year      = {2009},
  url       = {http://arxiv.org/abs/0902.3623},
  archivePrefix = {arXiv},
  eprint    = {0902.3623},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-0902-3623.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-3635,
  author    = {Claus{-}Peter Wirth},
  title     = {lim+, delta+, and Non-Permutability of beta-Steps},
  journal   = {CoRR},
  volume    = {abs/0902.3635},
  year      = {2009},
  url       = {http://arxiv.org/abs/0902.3635},
  archivePrefix = {arXiv},
  eprint    = {0902.3635},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-0902-3635.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-3648,
  author    = {Volker Mattick and
               Claus{-}Peter Wirth},
  title     = {An Algebraic Dexter-Based Hypertext Reference Model},
  journal   = {CoRR},
  volume    = {abs/0902.3648},
  year      = {2009},
  url       = {http://arxiv.org/abs/0902.3648},
  archivePrefix = {arXiv},
  eprint    = {0902.3648},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-0902-3648.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-3730,
  author    = {Claus{-}Peter Wirth},
  title     = {Full First-Order Sequent and Tableau Calculi With Preservation of
               Solutions and the Liberalized delta-Rule but Without Skolemization},
  journal   = {CoRR},
  volume    = {abs/0902.3730},
  year      = {2009},
  url       = {http://arxiv.org/abs/0902.3730},
  archivePrefix = {arXiv},
  eprint    = {0902.3730},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-0902-3730.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-3749,
  author    = {Claus{-}Peter Wirth},
  title     = {Hilbert's epsilon as an Operator of Indefinite Committed Choice},
  journal   = {CoRR},
  volume    = {abs/0902.3749},
  year      = {2009},
  url       = {http://arxiv.org/abs/0902.3749},
  archivePrefix = {arXiv},
  eprint    = {0902.3749},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-0902-3749.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-4682,
  author    = {Claus{-}Peter Wirth and
               J{\"{o}}rg H. Siekmann and
               Christoph Benzm{\"{u}}ller and
               Serge Autexier},
  title     = {Lectures on Jacques Herbrand as a Logician},
  journal   = {CoRR},
  volume    = {abs/0902.4682},
  year      = {2009},
  url       = {http://arxiv.org/abs/0902.4682},
  archivePrefix = {arXiv},
  eprint    = {0902.4682},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-0902-4682.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Wirth08,
  author    = {Claus{-}Peter Wirth},
  title     = {Hilbert's epsilon as an operator of indefinite committed choice},
  journal   = {J. Appl. Log.},
  volume    = {6},
  number    = {3},
  pages     = {287--317},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.jal.2007.07.009},
  doi       = {10.1016/j.jal.2007.07.009},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/japll/Wirth08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Wirth05,
  author    = {Claus{-}Peter Wirth},
  editor    = {Dieter Hutter and
               Werner Stephan},
  title     = {History and Future of Implicit and Inductionless Induction: Beware
               the Old Jade and the Zombie!},
  booktitle = {Mechanizing Mathematical Reasoning, Essays in Honor of J{\"{o}}rg
               H. Siekmann on the Occasion of His 60th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {2605},
  pages     = {192--203},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/978-3-540-32254-2\_12},
  doi       = {10.1007/978-3-540-32254-2\_12},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/conf/birthday/Wirth05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/AutexierBDMW05,
  author    = {Serge Autexier and
               Christoph Benzm{\"{u}}ller and
               Dominik Dietrich and
               Andreas Meier and
               Claus{-}Peter Wirth},
  editor    = {Michael Kohlhase},
  title     = {A Generic Modular Data Structure for Proof Attempts Alternating on
               Ideas and Granularity},
  booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM}
               2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3863},
  pages     = {126--142},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11618027\_9},
  doi       = {10.1007/11618027\_9},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/mkm/AutexierBDMW05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Wirth04,
  author    = {Claus{-}Peter Wirth},
  title     = {Descente Infinie + Deduction},
  journal   = {Log. J. {IGPL}},
  volume    = {12},
  number    = {1},
  pages     = {1--96},
  year      = {2004},
  url       = {https://doi.org/10.1093/jigpal/12.1.1},
  doi       = {10.1093/jigpal/12.1.1},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/igpl/Wirth04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AvenhausKSW03,
  author    = {J{\"{u}}rgen Avenhaus and
               Ulrich K{\"{u}}hler and
               Tobias Schmidt{-}Samoa and
               Claus{-}Peter Wirth},
  editor    = {Franz Baader},
  title     = {How to Prove Inductive Theorems? QUODLIBET!},
  booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated
               Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2741},
  pages     = {328--333},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/978-3-540-45085-6\_29},
  doi       = {10.1007/978-3-540-45085-6\_29},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/AvenhausKSW03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SiekmannBBCFFHKMMMNPSUWZ02,
  author    = {J{\"{o}}rg H. Siekmann and
               Christoph Benzm{\"{u}}ller and
               Vladimir Brezhnev and
               Lassaad Cheikhrouhou and
               Armin Fiedler and
               Andreas Franke and
               Helmut Horacek and
               Michael Kohlhase and
               Andreas Meier and
               Erica Melis and
               Markus Moschner and
               Immanuel Normann and
               Martin Pollet and
               Volker Sorge and
               Carsten Ullrich and
               Claus{-}Peter Wirth and
               J{\"{u}}rgen Zimmer},
  editor    = {Andrei Voronkov},
  title     = {Proof Development with {OMEGA}},
  booktitle = {Automated Deduction - CADE-18, 18th International Conference on Automated
               Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2392},
  pages     = {144--149},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45620-1\_12},
  doi       = {10.1007/3-540-45620-1\_12},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/SiekmannBBCFFHKMMMNPSUWZ02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Wirth02,
  author    = {Claus{-}Peter Wirth},
  editor    = {Uwe Egly and
               Christian G. Ferm{\"{u}}ller},
  title     = {A New Indefinite Semantics for Hilbert's Epsilon},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
               Conference, {TABLEAUX} 2002, Copenhagen, Denmark, July 30 - August
               1, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2381},
  pages     = {298--314},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45616-3\_21},
  doi       = {10.1007/3-540-45616-3\_21},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/conf/tableaux/Wirth02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Wirth99,
  author    = {Claus{-}Peter Wirth},
  editor    = {Neil V. Murray},
  title     = {Full First-Order Free Variable Sequents and Tableaux in Implicit Induction},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
               Conference, {TABLEAUX} '99, Saratoga Springs, NY, USA, June 7-11,
               1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1617},
  pages     = {293--307},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-48754-9\_25},
  doi       = {10.1007/3-540-48754-9\_25},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/conf/tableaux/Wirth99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftp/Wirth98,
  author    = {Claus{-}Peter Wirth},
  editor    = {Ricardo Caferra and
               Gernot Salzer},
  title     = {Full First-Order Sequent and Tableau Calculi with Preservation of
               Solutions and the Liberalized delta-Rule but without Skolemization},
  booktitle = {Automated Deduction in Classical and Non-Classical Logics, Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {1761},
  pages     = {282--297},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/3-540-46508-1\_19},
  doi       = {10.1007/3-540-46508-1\_19},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/ftp/Wirth98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Wirth97,
  author    = {Claus{-}Peter Wirth},
  title     = {Positive negative conditional equations: a constructor-based framework
               for specification and inductive theorem proving},
  school    = {University of Kaiserslautern},
  year      = {1997},
  url       = {http://d-nb.info/949622958},
  isbn      = {3-86064-551-X},
  timestamp = {Fri, 30 Sep 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/phd/dnb/Wirth97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/KuhlerW97,
  author    = {Ulrich K{\"{u}}hler and
               Claus{-}Peter Wirth},
  editor    = {Hubert Comon},
  title     = {Conditional Equational Specifications of Data Types with Partial Operations
               for Inductive Theorem Proving},
  booktitle = {Rewriting Techniques and Applications, 8th International Conference,
               RTA-97, Sitges, Spain, June 2-5, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1232},
  pages     = {38--52},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/3-540-62950-5\_60},
  doi       = {10.1007/3-540-62950-5\_60},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/conf/rta/KuhlerW97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/GramlichW96,
  author    = {Bernhard Gramlich and
               Claus{-}Peter Wirth},
  editor    = {Harald Ganzinger},
  title     = {Confluence of Terminating Conditional Rewrite Systems Revisited},
  booktitle = {Rewriting Techniques and Applications, 7th International Conference,
               RTA-96, New Brunswick, NJ, USA, July 27-30, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1103},
  pages     = {245--259},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61464-8\_56},
  doi       = {10.1007/3-540-61464-8\_56},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/conf/rta/GramlichW96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/WirthG94,
  author    = {Claus{-}Peter Wirth and
               Bernhard Gramlich},
  title     = {A Constructor-Based Approach to Positive/Negative-Conditional Equational
               Specifications},
  journal   = {J. Symb. Comput.},
  volume    = {17},
  number    = {1},
  pages     = {51--90},
  year      = {1994},
  url       = {https://doi.org/10.1006/jsco.1994.1004},
  doi       = {10.1006/jsco.1994.1004},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jsc/WirthG94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/WirthG94,
  author    = {Claus{-}Peter Wirth and
               Bernhard Gramlich},
  editor    = {Alan Bundy},
  title     = {On Notions of Inductive Validity for First-Oder Equational Clauses},
  booktitle = {Automated Deduction - CADE-12, 12th International Conference on Automated
               Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {814},
  pages     = {162--176},
  publisher = {Springer},
  year      = {1994},
  url       = {https://doi.org/10.1007/3-540-58156-1\_12},
  doi       = {10.1007/3-540-58156-1\_12},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/WirthG94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctrs/WirthB94,
  author    = {Claus{-}Peter Wirth and
               Klaus Becker},
  editor    = {Nachum Dershowitz and
               Naomi Lindenstrauss},
  title     = {Abstract Notions and Inference Systems for Proofs by Mathematical
               Induction},
  booktitle = {Conditional and Typed Rewriting Systems, 4th International Workshop,
               CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {968},
  pages     = {353--373},
  publisher = {Springer},
  year      = {1994},
  url       = {https://doi.org/10.1007/3-540-60381-6\_21},
  doi       = {10.1007/3-540-60381-6\_21},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/conf/ctrs/WirthB94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctrs/WirthG92,
  author    = {Claus{-}Peter Wirth and
               Bernhard Gramlich},
  editor    = {Micha{\"{e}}l Rusinowitch and
               Jean{-}Luc R{\'{e}}my},
  title     = {A Constructor-Based Approach for Positive/Negative-Conditional Equational
               Specifications},
  booktitle = {Conditional Term Rewriting Systems, Third International Workshop,
               CTRS-92, Pont-{\`{a}}-Mousson, France, July 8-10, 1992, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {656},
  pages     = {198--212},
  publisher = {Springer},
  year      = {1992},
  url       = {https://doi.org/10.1007/3-540-56393-8\_15},
  doi       = {10.1007/3-540-56393-8\_15},
  timestamp = {Thu, 08 Aug 2019 14:41:47 +0200},
  biburl    = {https://dblp.org/rec/conf/ctrs/WirthG92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics