A Linear-Logic Semantics for Constraint Handling Rules
From MaRDI portal
Publication:3524170
DOI10.1007/11564751_13zbMath1153.68349OpenAlexW1480740341MaRDI QIDQ3524170
Publication date: 9 September 2008
Published in: Principles and Practice of Constraint Programming - CP 2005 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11564751_13
Theory of programming languages (68N15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)
Related Items
Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules, Programming in logic without logic programming, A complete and terminating execution model for Constraint Handling Rules, LMNtal as a hierarchical logic programming language, Models and emerging trends of concurrent constraint programming
