Formal Properties of Needed Narrowing with Similarity Relations
From MaRDI portal
Publication:2867957
DOI10.1016/j.entcs.2007.05.036zbMath1278.68060MaRDI QIDQ2867957
Publication date: 20 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2007.05.036
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68N18: Functional programming and lambda calculus
Related Items
Qualified Computations in Functional Logic Programming, A hybrid programming scheme combining fuzzy-logic and functional-logic resources, Qualified Logic Programming with Bivalued Predicates, A declarative semantics for CLP with qualification and proximity
Uses Software
Cites Work