scientific article; zbMATH DE number 1954119
From MaRDI portal
Publication:4415117
zbMath1026.68774MaRDI QIDQ4415117
Fernando Sáenz-Pérez, Antonio J. Fernández, Teresa Hortalá-González
Publication date: 28 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2562/25620320.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Combinatorics in computer science (68R05) Functional programming and lambda calculus (68N18) Computing methodologies and applications (68U99) Logic programming (68N17)
Related Items (3)
A new generic scheme for functional logic programming with constraints ⋮ Functional Logic Programming: From Theory to Curry ⋮ Implementing Relational Specifications in a Constraint Functional Logic Language
Uses Software
This page was built for publication: