Claus-Peter Wirth's Home Page
Contact
wirth AT logic.at
+49_160_217_3333 Mobile
+49_6432_9249116 Office
Areas of Expertise
Logic
Computer Science
Formal Methods
Artificial Intelligence
History of Logic and Philosophy
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
Mirrors of this Web Site
http://wirth.bplaced.net,
https://w2.cs.uni-saarland.de
Obsolescent:
http://www.ags.uni-sb.de/~cp