The following pages link to HOL90 (Q31441):
Displaying 7 items.
- On the parameterized complexity of associative and commutative unification (Q729894) (← links)
- Integrating external deduction tools with ACL2 (Q1006728) (← links)
- Higher order logic theorem proving and its applications. 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995. Proceedings (Q1897004) (← links)
- (Q3024868) (← links)
- (Q3024871) (← links)
- Tactics for Reasoning Modulo AC in Coq (Q3100211) (← links)
- Hybrid interactive theorem proving using nuprl and HOL (Q5234717) (← links)