Frank Theiss

List of publications from the DBLP Bibliography Server - FAQ

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

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	Arnaud Fietzke	[1]
3	Lawrence C. Paulson	[1]