HOL90: The rational reconstruction of HOL88.
Keywords for this software
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Kaufmann, Matt; Moore, J. Strother; Ray, Sandip; Reeber, Erik: Integrating external deduction tools with ACL2 (2009)
- Curzon, Paul: Virtual theories (1995)
- Gunter, Elsa L.; Libkin, Leonid: Interfacing HOL90 with a functional database query language (1995)
- Schubert, E. Thomas (ed.); Windley, Phillip J. (ed.); Alves-Foss, James (ed.): Higher order logic theorem proving and its applications. 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995. Proceedings (1995)