scientific article
From MaRDI portal
Publication:3789062
zbMath0645.68044MaRDI QIDQ3789062
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
An optimal narrowing strategy for general canonical systems ⋮ Detecting redundant narrowing derivations by the LSE-SL reducibility test ⋮ Regular substitution sets: A means of controlling E-unification ⋮ Implementation of a UU-algorithm for primitive recursive tree functions ⋮ Incremental constraint satisfaction for equational logic programming ⋮ A Debugging Scheme for Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Acción Integrada Hispano-Italiana HI2000-0161, Acción Integrada Hispano-Alemana HA2001-0059 and by Generalitat Valenciana under grant GV01-424. ⋮ An integrated framework for the diagnosis and correction of rule-based programs ⋮ Lazy narrowing in a graph machine ⋮ Conditional equational theories and complete sets of transformations ⋮ Declarative Debugging of Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Accóon Integrada Hispano-Italiana HI2000-0161 and by Generalitat Valenciana under grant GV01-424.
This page was built for publication:
