scientific article; zbMATH DE number 1956545

zbMath1032.68046MaRDI QIDQ4417882

F. Correa, Demis Ballis, Moreno Falaschi, María Alpuente

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2618/26180054.htm

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 (1)

An integrated framework for the diagnosis and correction of rule-based programs

This page was built for publication: