scientific article; zbMATH DE number 1538018
From MaRDI portal
Publication:4518873
zbMath0962.68085MaRDI QIDQ4518873
I. V. Ramakrishnan, Laurent Vigneron, Leo Bachmair, Ashish Kumar Tiwari
Publication date: 13 June 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Grammars and rewriting systems (68Q42) Word problems, etc. in computability and recursion theory (03D40)
Related Items (6)
A rewriting approach to satisfiability procedures. ⋮ Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties ⋮ Conditional congruence closure over uninterpreted and interpreted symbols ⋮ Combining Equational Reasoning ⋮ Deciding the word problem for ground and strongly shallow identities w.r.t. extensional symbols ⋮ Deciding the word problem for ground identities with commutative and extensional symbols
This page was built for publication:
