Leftmost outside-in narrowing calculi

DOI10.1017/S0956796897002645MaRDI QIDQ4347199zbMATH OpenOpenAlexWikidataFDO

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

zbMATH Keywords

functional-logic programming languages

Mathematics Subject Classification ID

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

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

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)