(Co-)Inductive semantics for Constraint Handling Rules

DOI10.1017/S1471068411000196zbMath1218.68099arXiv1108.0330OpenAlexW3099263915MaRDI QIDQ3087447

Rémy Haemmerlé

Publication date: 16 August 2011

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

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

zbMATH Keywords

coinductionfixpointdeclarative semanticsCHRpersistent constraints

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• A lattice-theoretical fixpoint theorem and its applications
• A compositional semantics for CHR

This page was built for publication: (Co-)Inductive semantics for Constraint Handling Rules