Constraint Handling Rules. Current research topics

DOI10.1007/978-3-540-92243-8zbMath1157.68008OpenAlexW3157198933MaRDI QIDQ1006793

No author found.

Publication date: 26 March 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-92243-8

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic programming (68N17)

Related Items (2)

On proving confluence modulo equivalence for Constraint Handling Rules ⋮ Welcome to Constraint Handling Rules

This page was built for publication: Constraint Handling Rules. Current research topics