Disjunctive Constraint Lambda Calculi

DOI10.1007/11591191_6zbMath1143.68352OpenAlexW1522169596MaRDI QIDQ5387830

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)

This page was built for publication: Disjunctive Constraint Lambda Calculi