The control layer in open mechanized reasoning systems: Annotations and tactics
From MaRDI portal
Publication:5950930
DOI10.1006/jsco.2000.0464zbMath0983.68178MaRDI QIDQ5950930
Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia, Silvio Ranise
Publication date: 2 January 2002
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/c18a5d1f224cb1f96c598ed20aa4707079e4ac95
Uses Software
Cites Work
- A Skeptic's approach to combining HOL and Maple
- IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998
- Edinburgh LCF. A mechanized logic of computation
- The foundation of a generic theorem prover
- Exploring abstract algebra in constructive type theory
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item