Tobias Schmidt-Samoa

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2006

3 Tobias Schmidt-Samoa: An Even Closer Integration of Linear Arithmetic into Inductive Theorem Proving. Electr. Notes Theor. Comput. Sci. 151(1): 3-20 (2006)

2 Tobias Schmidt-Samoa: Flexible heuristics for simplification with conditional lemmas by marking formulas as forbidden, mandatory, obligatory, and generous. Journal of Applied Non-Classical Logics 16(1-2): 209-239 (2006)

2003

1 Jürgen Avenhaus, Ulrich Kühler, Tobias Schmidt-Samoa, Claus-Peter Wirth: How to Prove Inductive Theorems? QUODLIBET! CADE 2003: 328-333

	2006
3		Tobias Schmidt-Samoa: An Even Closer Integration of Linear Arithmetic into Inductive Theorem Proving. Electr. Notes Theor. Comput. Sci. 151(1): 3-20 (2006)
2		Tobias Schmidt-Samoa: Flexible heuristics for simplification with conditional lemmas by marking formulas as forbidden, mandatory, obligatory, and generous. Journal of Applied Non-Classical Logics 16(1-2): 209-239 (2006)
	2003
1		Jürgen Avenhaus, Ulrich Kühler, Tobias Schmidt-Samoa, Claus-Peter Wirth: How to Prove Inductive Theorems? QUODLIBET! CADE 2003: 328-333

Coauthor Index