scientific article; zbMATH DE number 794239
From MaRDI portal
Publication:4846999
zbMath0839.68049MaRDI QIDQ4846999
Publication date: 10 June 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (13)
Extensions and comparison of simplification orderings ⋮ Termination of constructor systems ⋮ Proving termination of context-sensitive rewriting by transformation ⋮ Polynomials over the reals in proofs of termination : from theory to practice ⋮ Simple termination of rewrite systems ⋮ Termination of just/fair computations in term rewriting ⋮ Termination of term rewriting using dependency pairs ⋮ Loop detection in term rewriting using the eliminating unfoldings ⋮ Natural termination ⋮ Termination of narrowing via termination of rewriting ⋮ Invariants, patterns and weights for ordering terms ⋮ Modular termination proofs for rewriting using dependency pairs ⋮ Termination analysis for partial functions
This page was built for publication:
