scientific article
From MaRDI portal
Publication:2778873
zbMath0981.68063MaRDI QIDQ2778873
Publication date: 21 March 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2051/20510093
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (12)
Relative termination via dependency pairs ⋮ Reducing Relative Termination to Dependency Pair Problems ⋮ Modular and incremental proofs of AC-termination ⋮ Elimination transformations for associative-commutative rewriting systems ⋮ On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories ⋮ AC-KBO revisited ⋮ Effectively Checking the Finite Variant Property ⋮ Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures ⋮ Strict coherence of conditional rewriting modulo axioms ⋮ Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures ⋮ AC Completion with Termination Tools ⋮ Termination Modulo Combinations of Equational Theories
This page was built for publication:
