scientific article
From MaRDI portal
Publication:3408137
zbMath1273.68320MaRDI QIDQ3408137
Stephan Falke, Jürgen Giesl, René Thiemann, Peter Schneider-Kamp
Publication date: 24 February 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
Relaxing monotonicity for innermost termination ⋮ On proving \(C_E\)-termination of rewriting by size-change termination ⋮ Tyrolean termination tool: techniques and features ⋮ Elimination transformations for associative-commutative rewriting systems ⋮ Mechanizing and improving dependency pairs ⋮ Enhancing dependency pair method using strong computability in simply-typed term rewriting ⋮ Automating the dependency pair method ⋮ Proving weak properties of rewriting ⋮ Match-bounds revisited ⋮ The size-change principle and dependency pairs for termination of term rewriting
This page was built for publication:
