Search
Now showing items 1-4 of 4
Relating Coloured Petri Nets to Constraint Handling Rules
Betz, Hariolf; Djelloul, K.; Duck, G. J.; Sulzmann, M. (2007)
Beitrag zu einer Konferenz
A Linear-Logic Semantics for Constraint Handling Rules with Disjunction
Betz, Hariolf; Djelloul, K.; Duck, G. J.; Sulzmann, M. (2007)
Beitrag zu einer Konferenz
Description Logic and Rules the CHR Way
Frühwirth, Thom; Djelloul, K.; Duck, G. J.; Sulzmann, M. (2007)
Beitrag zu einer Konferenz
On Confluence of Non-terminating CHR Programs
Raiser, Frank; Tacchella, P.; Djelloul, K.; Duck, G. J.; Sulzmann, M. (2007)
Beitrag zu einer Konferenz