scientific article
From MaRDI portal
Publication:3765265
zbMath0628.68068MaRDI QIDQ3765265
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Detecting redundant narrowing derivations by the LSE-SL reducibility test ⋮ Narrowing directed by a graph of terms ⋮ Basic narrowing revisited
This page was built for publication: