The refined operational semantics of constraint handling rules

Gregory J Duck; Peter J Stuckey; Maria Jose Garcia De La Banda; Christian Holzbaur

The refined operational semantics of constraint handling rules

Gregory J Duck, Peter J Stuckey, Maria Jose Garcia De La Banda, Christian Holzbaur

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Original language	English
Title of host publication	Proceedings of the 20th International Conference in Logic Programming (ICLP 2004)
Editors	Bart Demoen, Vladimir Lifschitz
Place of Publication	Berlin Germany
Publisher	Springer
Pages	90 - 104
Number of pages	15
Publication status	Published - 2004
Event	International Conference on Logic Programming 2004 - Saint-Malo, France Duration: 6 Sept 2004 → 10 Sept 2004 Conference number: 20th https://link.springer.com/book/10.1007/b99475 (Proceedings)

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	3132
ISSN (Print)	0302-9743

Conference

Conference	International Conference on Logic Programming 2004
Abbreviated title	ICLP 2004
Country/Territory	France
City	Saint-Malo
Period	6/09/04 → 10/09/04
Internet address	https://link.springer.com/book/10.1007/b99475 (Proceedings)

Cite this

@inproceedings{10c75784e188454d9f1f2b18f5bed4eb,

title = "The refined operational semantics of constraint handling rules",

author = "Duck, {Gregory J} and Stuckey, {Peter J} and {Garcia De La Banda}, {Maria Jose} and Christian Holzbaur",

year = "2004",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "90 -- 104",

editor = "Bart Demoen and Vladimir Lifschitz",

booktitle = "Proceedings of the 20th International Conference in Logic Programming (ICLP 2004)",

note = "International Conference on Logic Programming 2004, ICLP 2004 ; Conference date: 06-09-2004 Through 10-09-2004",

url = "https://link.springer.com/book/10.1007/b99475",

}

Duck, GJ, Stuckey, PJ , Garcia De La Banda, MJ & Holzbaur, C 2004, The refined operational semantics of constraint handling rules. in B Demoen & V Lifschitz (eds), Proceedings of the 20th International Conference in Logic Programming (ICLP 2004). Lecture Notes in Computer Science, vol. 3132, Springer, Berlin Germany, pp. 90 - 104, International Conference on Logic Programming 2004, Saint-Malo, France, 6/09/04.

The refined operational semantics of constraint handling rules. / Duck, Gregory J; Stuckey, Peter J ; Garcia De La Banda, Maria Jose et al.
Proceedings of the 20th International Conference in Logic Programming (ICLP 2004). ed. / Bart Demoen; Vladimir Lifschitz. Berlin Germany: Springer, 2004. p. 90 - 104 (Lecture Notes in Computer Science; Vol. 3132).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

TY - GEN

T1 - The refined operational semantics of constraint handling rules

AU - Duck, Gregory J

AU - Stuckey, Peter J

AU - Garcia De La Banda, Maria Jose

AU - Holzbaur, Christian

N1 - Conference code: 20th

PY - 2004

Y1 - 2004

M3 - Conference Paper

T3 - Lecture Notes in Computer Science

SP - 90

EP - 104

BT - Proceedings of the 20th International Conference in Logic Programming (ICLP 2004)

A2 - Demoen, Bart

A2 - Lifschitz, Vladimir

PB - Springer

CY - Berlin Germany

T2 - International Conference on Logic Programming 2004

Y2 - 6 September 2004 through 10 September 2004

ER -