scientific article; zbMATH DE number 1341612

zbMATH Open0941.68122MaRDI QIDQ4263161FDOQ4263161

Predrag Janičić, Alan Bundy, Ian Green

Publication date: 22 September 1999

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

decision proceduresproof-planning system

Mathematics Subject Classification ID

Cited In (4)

• Title not available (Why is that?)
• Constraint contextual rewriting.
• Adding decision procedures to SMT solvers using axioms with triggers
• Title not available (Why is that?)

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)