scientific article; zbMATH DE number 1765695
From MaRDI portal
Publication:4539636
zbMath0988.68094MaRDI QIDQ4539636
Publication date: 10 July 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830485
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
On proving \(C_E\)-termination of rewriting by size-change termination ⋮ Modular and incremental proofs of AC-termination ⋮ Elimination transformations for associative-commutative rewriting systems ⋮ Proving operational termination of membership equational programs ⋮ Hierarchical termination revisited. ⋮ Modular termination proofs for rewriting using dependency pairs
This page was built for publication: