dblp.uni-trier.dewww.uni-trier.de

Arnaud Fietzke

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)