Justifying equality

MaRDI QIDQ2848059zbMATH OpenFDO

Authors Leonardo de Moura, Harald Rueß, Natarajan Shankar

Publication date 25 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105050735

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Term Rewriting and Applications
• Term Rewriting and Applications
• Inference rules and proof procedures for inequations
• Fast congruence closure and extensions
• scientific article; zbMATH DE number 4035205

Cited in

(6)

• Combination of convex theories: modularity, deduction completeness, and explanation
• Purging in an equality data base
• Congruence closure in intensional type theory
• Modular SMT proofs for fast reflexive checking inside Coq
• Knuth-Bendix completion of theories of commuting group endomorphisms
• Fast congruence closure and extensions

This page was built for publication: Justifying equality

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