scientific article; zbMATH DE number 1318515
From MaRDI portal
Publication:4256647
zbMath0925.68267MaRDI QIDQ4256647
Publication date: 8 August 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Generating polynomial orderings for termination proofs ⋮ Mechanically proving termination using polynomial interpretations ⋮ Derivational complexity and context-sensitive Rewriting ⋮ A complete superposition calculus for primal grammars
This page was built for publication:
