scientific article
From MaRDI portal
Publication:2723431
zbMath0963.68087MaRDI QIDQ2723431
No author found.
Publication date: 5 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Paramodulation with non-monotonic orderings and simplification ⋮ Tyrolean termination tool: techniques and features ⋮ Mechanizing and improving dependency pairs ⋮ Automating the dependency pair method ⋮ The size-change principle and dependency pairs for termination of term rewriting ⋮ Context-sensitive rewriting strategies ⋮ Modular and incremental automated termination proofs
This page was built for publication:
