Claus-Peter Wirth's Home Page
Contact
wirth AT logic.at
+49_160_217_3333 Mobile
+49_6432_9249116 Office
Areas of Expertise
Logic;
History of Logic, Mathematics, and Philosophy;
Artificial Intelligence,
Information and Computer Science,
Formal Methods;
Chemistry;
Economics.
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, P. Bernays, J. Herbrand.
Selected Publications
Projects
Mirrors of this Web Site:
http://wirth.bplaced.net,
https://w2.cs.uni-saarland.de.