System Description: E 0.81
- 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.