scientific article; zbMATH DE number 1392288
From MaRDI portal
Publication:4936127
zbMath0945.68520MaRDI QIDQ4936127
Paliath Narendran, Michaël Rusinowitch, Robert Nieuwenhuis, Hubert Comon
Publication date: 24 January 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Practical algorithms for deciding path ordering constraint satisfaction. ⋮ On using ground joinable equations in equational theorem proving ⋮ Citius altius fortius ⋮ Induction = I-axiomatization + first-order consistency.
This page was built for publication:
