Spass Version 2.0
- 4 July 2002
- book chapter
- Published by Springer Nature
- p. 275-279
- https://doi.org/10.1007/3-540-45620-1_22
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- First-Order Atom Definitions ExtendedPublished by Springer Nature ,2001
- Combining Superposition, Sorts and SplittingPublished by Elsevier ,2001
- Computing Small Clause Normal FormsPublished by Elsevier ,2001
- Towards an Automatic Analysis of Security Protocols in First-Order LogicPublished by Springer Nature ,1999
- System Description: Waldmeister — Improvements in Performance and Ease of UsePublished by Springer Nature ,1999
- Soft typing for ordered resolutionPublished by Springer Nature ,1997
- Rewrite-based Equational Theorem Proving with Selection and SimplificationJournal of Logic and Computation, 1994
- Variations on the Common Subexpression ProblemJournal of the ACM, 1980