Claus-Peter Wirth

Available identifiers

zbMath Open wirth.claus-peterMaRDI QIDQ429595

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6058207	2023-10-31	Paper
A constructor-based approach for positive/negative-conditional equational specifications	2023-03-09	Paper
Confluence of terminating conditional rewrite systems revisited	2022-12-09	Paper
On notions of inductive validity for first-order equational clauses	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	2017-11-17	Paper
A series of revisions of David Poole's specificity	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	2015-10-20	Paper
Herbrand's Fundamental Theorem - an encyclopedia article	2015-03-04	Paper
Computer-assisted human-oriented inductive theorem proving by descente infinie--a manifesto	2013-04-17	Paper
Herbrand's fundamental theorem in the eyes of Jean van Heijenoort	2013-03-15	Paper
\(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps	2012-06-20	Paper
Shallow confluence of conditional term rewriting systems	2009-01-16	Paper
Hilbert's epsilon as an operator of indefinite committed choice	2008-09-23	Paper
Mathematical Knowledge Management	2007-02-12	Paper
Mechanizing Mathematical Reasoning	2006-01-10	Paper
Descente Infinie + Deduction	2004-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q4809051	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4412867	2003-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4503917	2000-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4263022	2000-02-28	Paper
A constructor-based approach to positive/negative-conditional equational specifications	1995-09-19	Paper

Research outcomes over time

This page was built for person: Claus-Peter Wirth