CHR Exhaustive Execution — Revisited
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Ahmed Elsawy, Amira Zaki, Slim Abdennadher
CHR Exhaustive ExecutionRevisited
ICLP, 2015.

ICLP 2015
DBLP
Scholar
CEUR
Full names Links ISxN
@inproceedings{ICLP-2015-ElsawyZA,
	author        = "Ahmed Elsawy and Amira Zaki and Slim Abdennadher",
	booktitle     = "{Technical Communications of the 31st International Conference on Logic Programming}",
	ee            = "http://ceur-ws.org/Vol-1433/tc_44.pdf",
	pages         = "153--165",
	publisher     = "{CEUR-WS.org}",
	series        = "{CEUR Workshop Proceedings}",
	title         = "{CHR Exhaustive Execution — Revisited}",
	volume        = 1433,
	year          = 2015,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.