HOT

MaRDI QIDQ25223swMATHFDO

Official website http://link.springer.com/chapter/10.1007/BFb0055140

Cited in

(9)

• Theorem proving in higher order logics. 11th international conference, TPHOLs '98. Canberra, Australia, September 27 - October 1, 1998. Proceedings
• A taxonomy of parallel strategies for deduction
• \textsf{Goéland}: a concurrent tableau-based theorem prover (system description)
• PARTHEO
• Roo
• Zipperposition
• Superposition with lambdas
• Superposition with lambdas
• TPS: A hybrid automatic-interactive system for developing proofs

This page was built for software: HOT