Publication:2762632
From MaRDI portal
zbMath0976.68507MaRDI QIDQ2762632
Publication date: 9 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2002/2002202.
Related Items
Functional Logic Programming: From Theory to Curry, Qualified Computations in Functional Logic Programming, Rewriting and Call-Time Choice: The HO Case, A new generic scheme for functional logic programming with constraints, Extra Variables Can Be Eliminated from Functional Logic Programs, Equivalence of Two Formal Semantics for Functional Logic Programs
Uses Software