scientific article
From MaRDI portal
Publication:3696495
zbMath0576.68011MaRDI QIDQ3696495
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Horn clauseslogic programmingparamodulationfirst-order logic with equalityequational logic programslogic interpreter of equational clausesSLOG
Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)
Related Items (2)
An optimal narrowing strategy for general canonical systems ⋮ Detecting redundant narrowing derivations by the LSE-SL reducibility test
This page was built for publication: