Constraint Handling Rules - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

8
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540922421, 9783540922438
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A Flexible Search Framework for CHR

2008 ◽  
pp. 16-47 ◽  
Author(s):  
Leslie De Koninck ◽  
Tom Schrijvers ◽  
Bart Demoen

Guard Reasoning in the Refined Operational Semantics of CHR

2008 ◽  
pp. 213-244 ◽  
Author(s):  
Jon Sneyers ◽  
Tom Schrijvers ◽  
Bart Demoen
Keyword(s):  
Operational Semantics

Adaptive CHR Meets CHR ∨

2008 ◽  
pp. 48-69 ◽  
Author(s):  
Armin Wolf ◽  
Jacques Robin ◽  
Jairson Vitorino

A Compositional Semantics for CHR with Propagation Rules

2008 ◽  
pp. 119-160
Author(s):  
Maurizio Gabbrielli ◽  
Maria Chiara Meo ◽  
Paolo Tacchella
Keyword(s):  
Compositional Semantics ◽  
Propagation Rules

scholarly journals CHR for Imperative Host Languages

2008 ◽  
pp. 161-212 ◽  
Author(s):  
Peter Van Weert ◽  
Pieter Wuille ◽  
Tom Schrijvers ◽  
Bart Demoen

scholarly journals Constructing Rule-Based Solvers for Intentionally-Defined Constraints

2008 ◽  
pp. 70-84 ◽  
Author(s):  
Ingi Sobhi ◽  
Slim Abdennadher ◽  
Hariolf Betz
Keyword(s):  
Rule Based
Load More ...
Sign in / Sign up

Export Citation Format

Share Document