Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction

DOI10.1145/2422085.2422086zbMath1353.68030arXiv1009.2900OpenAlexW2149254449MaRDI QIDQ2946685

Thom Frühwirth, Hariolf Betz

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1009.2900

zbMATH Keywords

linear logicdeclarative semanticsConstraint Handling Rules

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Logic programming (68N17) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (1)

Unnamed Item

This page was built for publication: Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction