scientific article
From MaRDI portal
Publication:3976057
zbMath0736.68051MaRDI QIDQ3976057
Deepak Kapur, G. Sivakumar, Han-Tao Zhang
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Path orderings for termination of associative-commutative rewriting, A precedence-based total AC-compatible ordering, More problems in rewriting, Termination modulo equations by abstract commutation with an application to iteration, A fully syntactic AC-RPO., A total AC-compatible ordering based on RPO, Associative-commutative reduction orderings, Any ground associative-commutative theory has a finite canonical system, Termination of rewrite systems by elementary interpretations, Conditional narrowing modulo a set of equations, Automated proofs of equality problems in Overbeek's competition
