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 Integrad

DOI10.1016/S1571-0661(04)80347-5zbMath1268.68058OpenAlexW1513973968MaRDI QIDQ2841287

Pascual Julián-Iranzo, Bart C. Massey, Sergio Antoy

Publication date: 24 July 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80347-5

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18) Logic programming (68N17)

Related Items (2)

Singular and plural functions for functional logic programming ⋮ A Fully Abstract Semantics for Constructor Systems

Uses Software

• BABEL
• Kernel-LEAF
• TOY
• PAKCS

Cites Work

• Kernel-LEAF: A logic plus functional language
• Logic programming with functions and predicates: The language Babel
• Nondeterministic algebraic specifications and nonconfluent term rewriting
• An approach to declarative programming based on a rewriting logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: 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 Integrad