Leftmost outside-in narrowing calculi

DOI10.1017/S0956796897002645zbMath0876.68022OpenAlexW1984716525WikidataQ130099271 ScholiaQ130099271MaRDI QIDQ4347199

Koichi Nakahara, Tetsuo Ida

Publication date: 12 November 1997

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796897002645

zbMATH Keywords

functional-logic programming languages

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Logic programming (68N17)

Related Items (2)

Evaluation strategies for functional logic programming ⋮ Functional Logic Programming: From Theory to Curry

This page was built for publication: Leftmost outside-in narrowing calculi