Claus-Peter Wirth

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Gisbert Hasenjaeger and a most interesting unpublished draft for Hilbert and Bernays' ``Grundlagen der Mathematik	2023-10-31	Paper
A constructor-based approach for positive/negative-conditional equational specifications Conditional Term Rewriting Systems	2023-03-09	Paper
Confluence of terminating conditional rewrite systems revisited Rewriting Techniques and Applications	2022-12-09	Paper
On notions of inductive validity for first-order equational clauses Automated Deduction — CADE-12	2020-01-21	Paper
A Most Interesting, but Revoked Draft for Hilbert and Bernays' "Grundlagen der Mathematik" that never found its way into any publication, and 2 CV of Gisbert Hasenjaeger	2018-03-04	Paper
Conditional equational specifications of data types with partial operations for inductive theorem proving Rewriting Techniques and Applications	2017-11-17	Paper
A series of revisions of David Poole's specificity Annals of Mathematics and Artificial Intelligence	2017-04-27	Paper
The Explicit Definition of Quantifiers via Hilbert's epsilon is Confluent and Terminating	2016-11-19	Paper
Quantifiers in logic and proof-search using permissive-nominal terms and sets Journal Of Logic And Computation	2015-10-20	Paper
Herbrand's Fundamental Theorem - an encyclopedia article	2015-03-04	Paper
Computer-assisted human-oriented inductive theorem proving by \textit{descente infinie} -- a manifesto Logic Journal of the IGPL	2013-04-17	Paper
Herbrand's fundamental theorem in the eyes of Jean van Heijenoort Logica Universalis	2013-03-15	Paper
\(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps Journal of Symbolic Computation	2012-06-20	Paper
Shallow confluence of conditional term rewriting systems Journal of Symbolic Computation	2009-01-16	Paper
Hilbert's epsilon as an operator of indefinite committed choice Journal of Applied Logic	2008-09-23	Paper
Mathematical Knowledge Management Lecture Notes in Computer Science	2007-02-12	Paper
Mechanizing Mathematical Reasoning Lecture Notes in Computer Science	2006-01-10	Paper
Descente Infinie + Deduction Logic Journal of the IGPL	2004-08-30	Paper
scientific article; zbMATH DE number 2090295 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 1950269 (Why is no real title available?)	2003-07-17	Paper
scientific article; zbMATH DE number 1507197 (Why is no real title available?)	2000-09-14	Paper
scientific article; zbMATH DE number 1341483 (Why is no real title available?)	2000-02-28	Paper
A constructor-based approach to positive/negative-conditional equational specifications Journal of Symbolic Computation	1995-09-19	Paper

Research outcomes over time

This page was built for person: Claus-Peter Wirth