Search dblp for Publications

export results for "Claus-Peter Wirth"

 download as .bib file

@article{DBLP:journals/tbe/ThurnerEFHSAPWKMFPS23,
  author       = {Thomas Thurner and
                  Benjamin Esterer and
                  David F{\"{u}}rst and
                  Marianne Hollensteiner and
                  Sabrina Sandriesser and
                  Peter Augat and
                  Roland Pruckner and
                  Daniela Wirthl and
                  Martin Kaltenbrunner and
                  Andreas M{\"{u}}ller and
                  Gerhard F{\"{o}}rster and
                  Claus Pototschnig and
                  Andreas Schrempf},
  title        = {Smart Artificial Soft Tissue - Application to a Hybrid Simulator for
                  Training of Laryngeal Pacemaker Implantation},
  journal      = {{IEEE} Trans. Biomed. Eng.},
  volume       = {70},
  number       = {2},
  pages        = {735--746},
  year         = {2023},
  url          = {https://doi.org/10.1109/TBME.2022.3201613},
  doi          = {10.1109/TBME.2022.3201613},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tbe/ThurnerEFHSAPWKMFPS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  eprinttype    = {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},
  eprinttype    = {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},
  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},
  year         = {2014},
  crossref     = {DBLP:conf/kr/2014},
  url          = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7799},
  timestamp    = {Tue, 09 Feb 2021 08:33:43 +0100},
  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},
  eprinttype    = {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},
  eprinttype    = {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},
  eprinttype    = {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 Feb 2021 00:00:00 +0100},
  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},
  eprinttype    = {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 Feb 2021 00:00:00 +0100},
  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},
  title        = {Jacques Herbrand: Life, Logic, and Automated Deduction},
  booktitle    = {Logic from Russell to Church},
  pages        = {195--254},
  year         = {2009},
  crossref     = {DBLP:series/hhl/5},
  url          = {https://doi.org/10.1016/S1874-5857(09)70009-3},
  doi          = {10.1016/S1874-5857(09)70009-3},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +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},
  eprinttype    = {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},
  eprinttype    = {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},
  eprinttype    = {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},
  eprinttype    = {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},
  eprinttype    = {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},
  eprinttype    = {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},
  eprinttype    = {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},
  eprinttype    = {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},
  eprinttype    = {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},
  eprinttype    = {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    = {Tue, 16 Feb 2021 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},
  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},
  pages        = {192--203},
  year         = {2005},
  crossref     = {DBLP:conf/birthday/2005siekmann},
  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},
  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},
  pages        = {126--142},
  year         = {2005},
  crossref     = {DBLP:conf/mkm/2005},
  url          = {https://doi.org/10.1007/11618027\_9},
  doi          = {10.1007/11618027\_9},
  timestamp    = {Sat, 09 Apr 2022 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},
  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},
  pages        = {328--333},
  year         = {2003},
  crossref     = {DBLP:conf/cade/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},
  title        = {Proof Development with {OMEGA}},
  booktitle    = {Automated Deduction - CADE-18, 18th International Conference on Automated
                  Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  pages        = {144--149},
  year         = {2002},
  crossref     = {DBLP:conf/cade/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},
  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},
  pages        = {298--314},
  year         = {2002},
  crossref     = {DBLP:conf/tableaux/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},
  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},
  pages        = {293--307},
  year         = {1999},
  crossref     = {DBLP:conf/tableaux/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},
  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},
  pages        = {282--297},
  year         = {1998},
  crossref     = {DBLP:conf/ftp/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          = {https://d-nb.info/949622958},
  isbn         = {3-86064-551-X},
  timestamp    = {Sat, 17 Jul 2021 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},
  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},
  pages        = {38--52},
  year         = {1997},
  crossref     = {DBLP:conf/rta/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},
  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},
  pages        = {245--259},
  year         = {1996},
  crossref     = {DBLP:conf/rta/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 Feb 2021 00:00:00 +0100},
  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},
  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},
  pages        = {162--176},
  year         = {1994},
  crossref     = {DBLP:conf/cade/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},
  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},
  pages        = {353--373},
  year         = {1994},
  crossref     = {DBLP:conf/ctrs/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},
  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},
  pages        = {198--212},
  year         = {1992},
  crossref     = {DBLP:conf/ctrs/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}
}
@proceedings{DBLP:conf/kr/2014,
  editor       = {Chitta Baral and
                  Giuseppe De Giacomo and
                  Thomas Eiter},
  title        = {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/Library/KR/kr14contents.php},
  isbn         = {978-1-57735-657-8},
  timestamp    = {Sat, 10 Jun 2023 08:55:07 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/2014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/hhl/5,
  editor       = {Dov M. Gabbay and
                  John Woods},
  title        = {Logic from Russell to Church},
  series       = {Handbook of the History of Logic},
  volume       = {5},
  publisher    = {Elsevier},
  year         = {2009},
  isbn         = {978-0-444-51620-6},
  timestamp    = {Sat, 10 Jun 2023 08:55:07 +0200},
  biburl       = {https://dblp.org/rec/series/hhl/5.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2005siekmann,
  editor       = {Dieter Hutter and
                  Werner Stephan},
  title        = {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},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/b106663},
  doi          = {10.1007/b106663},
  isbn         = {3-540-25051-4},
  timestamp    = {Sat, 10 Jun 2023 08:55:07 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/2005siekmann.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2005,
  editor       = {Michael Kohlhase},
  title        = {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},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11618027},
  doi          = {10.1007/11618027},
  isbn         = {3-540-31430-X},
  timestamp    = {Sat, 10 Jun 2023 08:55:07 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2003,
  editor       = {Franz Baader},
  title        = {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},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/b11829},
  doi          = {10.1007/b11829},
  isbn         = {3-540-40559-3},
  timestamp    = {Sat, 10 Jun 2023 08:55:07 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2002,
  editor       = {Andrei Voronkov},
  title        = {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},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45620-1},
  doi          = {10.1007/3-540-45620-1},
  isbn         = {3-540-43931-5},
  timestamp    = {Sat, 10 Jun 2023 08:55:07 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tableaux/2002,
  editor       = {Uwe Egly and
                  Christian G. Ferm{\"{u}}ller},
  title        = {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},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45616-3},
  doi          = {10.1007/3-540-45616-3},
  isbn         = {3-540-43929-3},
  timestamp    = {Sat, 10 Jun 2023 08:55:07 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tableaux/1999,
  editor       = {Neil V. Murray},
  title        = {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},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48754-9},
  doi          = {10.1007/3-540-48754-9},
  isbn         = {3-540-66086-0},
  timestamp    = {Sat, 10 Jun 2023 08:55:07 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/1999.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftp/1998,
  editor       = {Ricardo Caferra and
                  Gernot Salzer},
  title        = {Automated Deduction in Classical and Non-Classical Logics, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1761},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46508-1},
  doi          = {10.1007/3-540-46508-1},
  isbn         = {3-540-67190-0},
  timestamp    = {Sat, 10 Jun 2023 08:55:07 +0200},
  biburl       = {https://dblp.org/rec/conf/ftp/1998.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/1997,
  editor       = {Hubert Comon},
  title        = {Rewriting Techniques and Applications, 8th International Conference,
                  RTA-97, Sitges, Spain, June 2-5, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1232},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-62950-5},
  doi          = {10.1007/3-540-62950-5},
  isbn         = {3-540-62950-5},
  timestamp    = {Sat, 10 Jun 2023 08:55:07 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/1997.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/1996,
  editor       = {Harald Ganzinger},
  title        = {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},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61464-8},
  doi          = {10.1007/3-540-61464-8},
  isbn         = {3-540-61464-8},
  timestamp    = {Sat, 10 Jun 2023 08:55:07 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/1996.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/1994,
  editor       = {Alan Bundy},
  title        = {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},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58156-1},
  doi          = {10.1007/3-540-58156-1},
  isbn         = {3-540-58156-1},
  timestamp    = {Sat, 10 Jun 2023 08:55:07 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/1994.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ctrs/1994,
  editor       = {Nachum Dershowitz and
                  Naomi Lindenstrauss},
  title        = {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},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60381-6},
  doi          = {10.1007/3-540-60381-6},
  isbn         = {3-540-60381-6},
  timestamp    = {Sat, 10 Jun 2023 08:55:07 +0200},
  biburl       = {https://dblp.org/rec/conf/ctrs/1994.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ctrs/1992,
  editor       = {Micha{\"{e}}l Rusinowitch and
                  Jean{-}Luc R{\'{e}}my},
  title        = {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},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56393-8},
  doi          = {10.1007/3-540-56393-8},
  isbn         = {3-540-56393-8},
  timestamp    = {Sat, 10 Jun 2023 08:55:07 +0200},
  biburl       = {https://dblp.org/rec/conf/ctrs/1992.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics