scientific article

zbMath0971.68097MaRDI QIDQ2726287

Michael Hanus, Salvador Lucas

Publication date: 31 July 2001

Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2001/S01-01/S01-01.html

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

zbMATH Keywords

narrowingfunctional logic languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (1)

A Fully Abstract Semantics for Constructor Systems

Uses Software

• BABEL

This page was built for publication: