Tobias Schmidt-Samoa

Publication Activity (10 Years)

Years Active: 2003-2006
Publications (10 Years): 0

Kaiserslautern University of Technology, Germany (PHD)

Education History

Kaiserslautern University of Technology, Germany

PHD

Publications

Tobias Schmidt-Samoa
Flexible heuristics for simplification with conditional lemmas by marking formulas as forbidden, mandatory, obligatory, and generous. J. Appl. Non Class. Logics 16 (1-2) (2006)
Tobias Schmidt-Samoa
An Even Closer Integration of Linear Arithmetic into Inductive Theorem Proving. Calculemus (2005)
Jürgen Avenhaus, Ulrich Kühler, Tobias Schmidt-Samoa, Claus-Peter Wirth
How to Prove Inductive Theorems? QUODLIBET! CADE (2003)