System Description: E 0.81

  • Stephan Schulz
Conference paper

DOI: 10.1007/978-3-540-25984-8_15

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3097)
Cite this paper as:
Schulz S. (2004) System Description: E 0.81. In: Basin D., Rusinowitch M. (eds) Automated Reasoning. IJCAR 2004. Lecture Notes in Computer Science, vol 3097. Springer, Berlin, Heidelberg


E is an equational theorem prover for clausal logic with equality. We describe the latest version, E 0.81 Tumsong, with special emphasis on the important aspects that have changed compared to previously described versions.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Stephan Schulz
    • 1
  1. 1.RISC LinzJohannes Kepler Universität LinzAustria

Personalised recommendations