scientific article
From MaRDI portal
Publication:3783622
zbMath0642.68151MaRDI QIDQ3783622
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Lazy narrowing: Strong completeness and eager variable elimination (extended abstract) ⋮ Conditional equational theories and complete sets of transformations ⋮ Lazy narrowing: strong completeness and eager variable elimination ⋮ Complete sets of transformations for general E-unification ⋮ Basic narrowing revisited
This page was built for publication:
