A Linear-Logic Semantics for Constraint Handling Rules

From MaRDI portal

Revision as of 00:07, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3524170

Jump to:navigation, search

DOI10.1007/11564751_13zbMath1153.68349OpenAlexW1480740341MaRDI QIDQ3524170

Thom Frühwirth, Hariolf Betz

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Related Items (5)

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

This page was built for publication: A Linear-Logic Semantics for Constraint Handling Rules

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3524170&oldid=16897009"