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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Claus-Peter Wirth