Program tactics and logic tactics

DOI10.1007/BF02127970MaRDI QIDQ1380427zbMATH OpenFDO

Authors Fausto Giunchiglia, Paolo Traverso

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

Recommendations

• Tactics and parameters
• A metatheory of a mechanized object theory
• A tactic calculus. --- Abridged version
• A Proof-Theoretic Approach to Tactics
• Tactics and certificates in Meta Dedukti

Cites work

• scientific article; zbMATH DE number 4164171 (Why is no real title available?)
• scientific article; zbMATH DE number 4053062 (Why is no real title available?)
• scientific article; zbMATH DE number 4053566 (Why is no real title available?)
• scientific article; zbMATH DE number 67450 (Why is no real title available?)
• scientific article; zbMATH DE number 3550181 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• Edinburgh LCF. A mechanized logic of computation
• Implementing tactics and tacticals in a higher-order logic programming language
• Prolegomena to a theory of mechanized formal reasoning
• The foundation of a generic theorem prover

Cited in

(4)

• scientific article; zbMATH DE number 3870643 (Why is no real title available?)
• scientific article; zbMATH DE number 67450 (Why is no real title available?)
• A metatheory of a mechanized object theory
• Tactics and parameters

Describes a project that uses

Uses Software

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1380427)