scientific article; zbMATH DE number 1342225
From MaRDI portal
Publication:4263810
zbMath0940.68070MaRDI QIDQ4263810
Michaël Rusinowitch, Paliath Narendran, Rakesh M. Verma
Publication date: 22 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Practical algorithms for deciding path ordering constraint satisfaction. ⋮ Orienting rewrite rules with the Knuth-Bendix order. ⋮ Decision Procedures for Automating Termination Proofs
This page was built for publication: