Cited in
(10)- scientific article; zbMATH DE number 2185687 (Why is no real title available?)
- On the parameterized complexity of associative and commutative unification
- scientific article; zbMATH DE number 2185689 (Why is no real title available?)
- Integrating external deduction tools with ACL2
- TkWinHOL
- Interrogator
- Hybrid interactive theorem proving using Nuprl and HOL
- Tactics for Reasoning Modulo AC in Coq
- BousiProlog
- Higher order logic theorem proving and its applications. 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995. Proceedings
This page was built for software: HOL90
