Stephan Schulz 
Dr. rer. nat.



Stephan Schulz has
Featured publications View all

Conference Paper: EMaLeS 1.1
43Views0Downloads0Citations 
Conference Paper: The TPTP Typed Firstorder Form with Arithmetic
105Views11Downloads13Citations 
164Views32Downloads17Citations

Faculty of Engineering
About
The Equational Theorem Prover E, http://www.eprover.org