scientific article
From MaRDI portal
Publication:3783522
zbMath0642.68037MaRDI QIDQ3783522
Pierre Lescanne, Isabelle Gnaedig
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Abstract data types; algebraic specification (68Q65) Theory of software (68N99)
Related Items
Termination of term rewriting by interpretation, Termination of rewriting, AC-Termination of rewrite systems: A modified Knuth-Bendix ordering, Termination modulo equations by abstract commutation with an application to iteration, A fully syntactic AC-RPO., A total AC-compatible ordering based on RPO, Termination of rewrite systems by elementary interpretations