scientific article

zbMath0976.68507MaRDI QIDQ2762632

Mario Rodríguez Artalejo

Publication date: 9 January 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2002/2002202.

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic programming (68N17)

Related Items (6)

Qualified Computations in Functional Logic Programming ⋮ A new generic scheme for functional logic programming with constraints ⋮ Functional Logic Programming: From Theory to Curry ⋮ Rewriting and Call-Time Choice: The HO Case ⋮ Extra Variables Can Be Eliminated from Functional Logic Programs ⋮ Equivalence of Two Formal Semantics for Functional Logic Programs

Uses Software

• ELAN
• Maude

This page was built for publication: