Claus-Peter Wirth's Home Page

Contact

wirth AT logic.at

Areas of Expertise

Logic; History of Logic, Mathematics, Philosophy and Fine Arts.
Artificial Intelligence, Information and Computer Science, Formal Methods.
Chemistry. Economics.

Hochschule Harz -- University of Applied Serverices

Specialization

Algebraic Specification, Conditional Term Rewriting,
Confluence Theorems, Hilbert's epsilon (applied!),
Inductive Theorem Proving (automated/interactive),
Free-Variable Calculi, Proof Planning,
Mathematics Assistance Systems, Hilbert's Program,
Paul Bernays, Jacques Herbrand, Lyonel Feininger.

Selected Publications

By Subject
Collected by Ley's dblp
Automatically collected by Google Scholar

Projects

Hilbert--Bernays Project
Ratiolog Project
The QuodLibet Theorem Prover

Bookmarks, Drafts, Notions, Services, Former Affiliations and Late Colleagues, Memberships.

Mirrors of this Web Site: http://wirth.bplaced.net, https://w2.cs.uni-saarland.de.