Publication:4936127
From MaRDI portal
zbMath0945.68520MaRDI QIDQ4936127
Paliath Narendran, Michaël Rusinowitch, Robert Nieuwenhuis, Hubert Comon
Publication date: 24 January 2000
68Q42: Grammars and rewriting systems
Related Items
Citius altius fortius, Practical algorithms for deciding path ordering constraint satisfaction., On using ground joinable equations in equational theorem proving, Induction = I-axiomatization + first-order consistency.