Arnaud Fietzke

2008
2	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
1	EE	Arnaud Fietzke, Christoph Weidenbach: Labelled Splitting. IJCAR 2008: 459-474

Coauthor Index

1	Christoph Benzmüller (Christoph Benzmueller)	[2]
2	Lawrence C. Paulson	[2]
3	Frank Theiss	[2]
4	Christoph Weidenbach	[1]

Colors in the list of coauthors