Program tactics and logic tactics

DOI10.1007/BF02127970zbMath0891.68095MaRDI QIDQ1380427

Paolo Traverso, Fausto Giunchiglia

Publication date: 19 July 1998

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

GETFOLlogic tacticsprogram tactics

Mathematics Subject Classification ID

Related Items (1)

A metatheory of a mechanized object theory

Uses Software

• OBJ3
• Nuprl
• NQTHM
• LCF
• GETFOL
• Cambridge LCF

Cites Work

• Prolegomena to a theory of mechanized formal reasoning
• Implementing tactics and tacticals in a higher-order logic programming language
• Edinburgh LCF. A mechanized logic of computation
• The foundation of a generic theorem prover
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Program tactics and logic tactics