A type system for CHR

Research output: Contribution to journal › Conference article › peer-review

Original language	English
Pages (from-to)	402-403
Number of pages	2
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3668
DOIs	https://doi.org/10.1007/11562931_30
Publication status	Published - 1 Jan 2005
Externally published	Yes
Event	21st International Conference on Logic Programming, ICLP 2005 - Sitges, Spain Duration: 2 Oct 2005 → 5 Oct 2005

Access to Document

@article{0022a0577240466b95cf439b7a6298d2,

title = "A type system for CHR",

author = "Emmanuel Coquery and Fran{\c c}ois Fages",

year = "2005",

month = jan,

day = "1",

doi = "10.1007/11562931\_30",

language = "English",

volume = "3668",

pages = "402--403",

journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

issn = "0302-9743",

note = "21st International Conference on Logic Programming, ICLP 2005 ; Conference date: 02-10-2005 Through 05-10-2005",

}

TY - JOUR

T1 - A type system for CHR

AU - Coquery, Emmanuel

AU - Fages, François

PY - 2005/1/1

Y1 - 2005/1/1

U2 - 10.1007/11562931_30

DO - 10.1007/11562931_30

M3 - Conference article

AN - SCOPUS:27144444344

SN - 0302-9743

VL - 3668

SP - 402

EP - 403

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

T2 - 21st International Conference on Logic Programming, ICLP 2005

Y2 - 2 October 2005 through 5 October 2005

ER -