scientific article
From MaRDI portal
Publication:2848059
zbMath1272.68353MaRDI QIDQ2848059
Leonardo de Moura, Natarajan Shankar, Harald Ruess
Publication date: 25 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105050735
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Knuth-Bendix completion of theories of commuting group endomorphisms, Fast congruence closure and extensions, Congruence Closure in Intensional Type Theory, Modular SMT Proofs for Fast Reflexive Checking Inside Coq, Combination of convex theories: modularity, deduction completeness, and explanation
