An algebraic perspective of constraint logic programming

DOI10.1093/LOGCOM/7.1.1zbMath0865.68025OpenAlexW2135457621MaRDI QIDQ2785838

Catuscia Palamidessi, Alessandra Di Pierro, Frank S. de Boer

Publication date: 21 April 1997

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/4240e2e46bc568a89e55abf9a076411e531f15c0

zbMATH Keywords

constraint logic programmingcylindric algebrascylindric Heyting algebra

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (3)

Belief, knowledge, lies and other utterances in an algebra for space and extrusion ⋮ Unnamed Item ⋮ Confluence in concurrent constraint programming

This page was built for publication: An algebraic perspective of constraint logic programming