Disjunctive Constraint Lambda Calculi

DOI10.1007/11591191_6MaRDI QIDQ5387830zbMATH OpenOpenAlexFDO

Authors Matthias Hoelzl, John N. Crossley

Publication date 27 May 2008

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11591191_6

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 2086602
• scientific article; zbMATH DE number 1757128
• Filter models for conjunctive-disjunctive \(\lambda\)-calculi
• scientific article; zbMATH DE number 873325
• scientific article; zbMATH DE number 512884
• Disjunctive Programs with Set Constraints
• scientific article; zbMATH DE number 3274718
• scientific article; zbMATH DE number 512795
• The constraint language for lambda structures
• Publication:4940934

Cited in

(5)

• scientific article; zbMATH DE number 1140686 (Why is no real title available?)
• scientific article; zbMATH DE number 1757128 (Why is no real title available?)
• scientific article; zbMATH DE number 3274718 (Why is no real title available?)
• The disjunctive constrained lambda calculus
• Filter models for conjunctive-disjunctive \(\lambda\)-calculi

This page was built for publication: Disjunctive Constraint Lambda Calculi

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