Functional and Logic Programming
From MaRDI portal
Publication:5308014
DOI10.1007/b96926zbMath1122.68366MaRDI QIDQ5308014
Mario Rodríguez Artalejo, Rafael Caballero
Publication date: 25 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b96926
Related Items
A new generic scheme for functional logic programming with constraints, Declarative debugging of rewriting logic specifications, Declarative Debugging of Rewriting Logic Specifications, Declarative Debugging of Membership Equational Logic Specifications
Uses Software