scientific article; zbMATH DE number 1088020
From MaRDI portal
Publication:4364366
zbMath0886.68034MaRDI QIDQ4364366
Publication date: 17 November 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (15)
From Logic to Functional Logic Programs ⋮ Compiling a Functional Logic Language: The Fair Scheme ⋮ Improving the Efficiency of Non-Deterministic Computations1 1Supported in part by NSF grants INT-9981317 and CCR-0110496 and by the Spanish Knowledge Society Foundation, the Spanish Research Funding Agency (CICYT) TIC 2001-2705-C03-01, by Acción Integrade Hispano-Italiana HI2000-0161, and the Valencian Research Council under grant GV01-424. ⋮ Default rules for Curry ⋮ Evaluation strategies for functional logic programming ⋮ Functional Logic Programming: From Theory to Curry ⋮ Programming with narrowing: a tutorial ⋮ Termination of narrowing via termination of rewriting ⋮ Compiling Collapsing Rules in Certain Constructor Systems ⋮ Termination of Narrowing in Left-Linear Constructor Systems ⋮ A Fully Abstract Semantics for Constructor Systems ⋮ Evaluation Strategies for Functional Logic Programming ⋮ Reduction Strategies for Declarative Programming ⋮ Semantic Determinism and Functional Logic Program Properties ⋮ Lazy Context Cloning for Non-Deterministic Graph Rewriting
This page was built for publication:
