Handling equality in monodic temporal resolution

MaRDI QIDQ3408140zbMATH OpenFDO

Authors

Publication date 24 February 2010

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)

Recommendations

• Monodic temporal resolution.
• Mechanising first-order temporal resolution
• Equality and monodic first-order temporal logic
• Monodic temporal resolution
• Automated Deduction – CADE-20

Cited in

(5)

• Equality and monodic first-order temporal logic
• Mechanising first-order temporal resolution
• Complexity of monodic guarded fragments over linear and real time
• Monodic temporal resolution.
• First-order temporal verification in practice

This page was built for publication: Handling equality in monodic temporal resolution

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