scientific article

From MaRDI portal

Publication:2766794

Jump to:navigation, search

zbMath0988.68089MaRDI QIDQ2766794

Michael Hanus, Salvador Lucas

Publication date: 22 July 2002

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

zbMATH Keywords

semantics program analysis domain theory narrowing functional logic languages

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) Logic programming (68N17)

Uses Software

BABEL

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2766794&oldid=15644568"