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, Philosophy and Fine Arts.
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,
Paul Bernays, Jacques Herbrand, Lyonel Feininger.
Selected Publications
Projects
Mirrors of this Web Site:
http://wirth.bplaced.net,
https://w2.cs.uni-saarland.de.