scientific article; zbMATH DE number 1692899

MaRDI QIDQ2763640zbMATH OpenFDO

Authors Taro Suzuki, Aart Middeldorp

Publication date 21 January 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2024/20240201

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1950452
• Publication:4503959
• scientific article; zbMATH DE number 1497855
• scientific article; zbMATH DE number 2217823
• A deterministic lazy narrowing calculus

Cited in

(6)

• A deterministic lazy narrowing calculus
• Lazy narrowing with simplification
• scientific article; zbMATH DE number 1950452 (Why is no real title available?)
• scientific article; zbMATH DE number 1497855 (Why is no real title available?)
• scientific article; zbMATH DE number 1507237 (Why is no real title available?)
• scientific article; zbMATH DE number 2217823 (Why is no real title available?)

This page was built for publication:

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