Publication:4263810
From MaRDI portal
zbMath0940.68070MaRDI QIDQ4263810
Michaël Rusinowitch, Paliath Narendran, Rakesh M. Verma
Publication date: 22 September 1999
Related Items
Practical algorithms for deciding path ordering constraint satisfaction., Orienting rewrite rules with the Knuth-Bendix order., Decision Procedures for Automating Termination Proofs