scientific article; zbMATH DE number 1341612

MaRDI QIDQ4263161zbMATH OpenFDO

Authors Predrag Janičić, Alan Bundy, Ian Green

Publication date 22 September 1999

zbMATH Keywords

decision proceduresproof-planning system

Mathematics Subject Classification ID

Recommendations

• Embedding complex decision procedures inside an interactive theorem prover.
• scientific article; zbMATH DE number 4112064
• scientific article; zbMATH DE number 1614688
• Metalogical frameworks. II: Developing a reflected decision procedure

Cited in

(5)

• Embedding complex decision procedures inside an interactive theorem prover.
• Constraint contextual rewriting.
• scientific article; zbMATH DE number 1614688 (Why is no real title available?)
• Adding decision procedures to SMT solvers using axioms with triggers
• scientific article; zbMATH DE number 4112064 (Why is no real title available?)

Describes a project that uses

Uses Software

• PVS
• CLAM

This page was built for publication:

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