Uniform Lazy Narrowing

DOI10.1093/logcom/13.2.287zbMath1111.68375DBLPjournals/logcom/AlpuenteFIV03OpenAlexW2110845026WikidataQ57978269 ScholiaQ57978269MaRDI QIDQ4461934

Pascual Julián, Germán Vidal, Moreno Falaschi, María Alpuente

Publication date: 18 May 2004

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/13.2.287

zbMATH Keywords

functional logic programming

Mathematics Subject Classification ID

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

Related Items (2)

An integrated framework for the diagnosis and correction of rule-based programs ⋮ Rewriting and narrowing for constructor systems with call-time choice semantics

This page was built for publication: Uniform Lazy Narrowing