Leftmost outside-in narrowing calculi

DOI10.1017/S0956796897002645zbMATH Open0876.68022OpenAlexW1984716525WikidataQ130099271 ScholiaQ130099271MaRDI QIDQ4347199FDOQ4347199

Authors: Tetsuo Ida, Koichi Nakahara 

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

Recommendations

• scientific article; zbMATH DE number 3318631
• Cavity flow characteristics and applications to kidney stone removal
• scientific article; zbMATH DE number 970634
• scientific article; zbMATH DE number 465603
• Leftmost outermost revisited
• Howe’s Method for Calculi with Passivation
• Lithotripsy: The Treatment of Kidney Stones with Shock Waves
• Scattering of a point-generated field by kidney stones
• A lumped-parameter model for kidney pressure during stone removal

zbMATH Keywords

functional-logic programming languages

Mathematics Subject Classification ID

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

Cited In (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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4347199)