Frank Theiss Vis

*	2009
2	EE	Geoff Sutcliffe, Christoph Benzmüller, Chad E. Brown, Frank Theiss: Progress in the Development of Automated Theorem Proving for Higher-Order Logic. CADE 2009: 116-130
	2008
1	EE	Christoph Benzmüller, Lawrence C. Paulson, Frank Theiss, Arnaud Fietzke: LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description). IJCAR 2008: 162-170

Coauthor Index

1	Christoph Benzmüller (Christoph Benzmueller)	[1] [2]
2	Chad E. Brown	[2]
3	Arnaud Fietzke	[1]
4	Lawrence C. Paulson	[1]
5	Geoff Sutcliffe	[2]