Publications

about 'tutorial'

Books and proceedings

  1. Thom Frühwirth. Constraint Handling Rules. CUP, August 2009. ISBN: 9780521877763. [WWW] Keyword(s): tutorial.
  2. Thom Frühwirth and Slim Abdennadher. Essentials of Constraint Programming. SV, 2003. ISBN: 3540676236. Keyword(s): tutorial.

Articles in journal, book chapters

  1. Todd J. Green, Molham Aref, and Grigoris Karvounarakis. LogicBlox, Platform and Language: A Tutorial, pages 1-8. Springer Berlin Heidelberg, Berlin, Heidelberg, 2012. ISBN: 978-3-642-32925-8. [WWW] [doi:10.1007/978-3-642-32925-8_1]
  2. A.M. Cheadle, W. Harvey, A.J. Sadler, J. Schimpf, K. Shen, and M.G. Wallace. ECL$^i$PS$^e$: A Tutorial Introduction. 2011. Keyword(s): tutorial.
  3. Thom Frühwirth. Welcome to Constraint Handling Rules. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI, pages 1-15. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_1] Keyword(s): tutorial.

Conference articles

  1. Anders Schack-Nielsen and Carsten Schürmann. The CHR-Celf Connection. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 1-2, 2008. RISC Report Series 08-10, University of Linz, Austria. Note: Invited Talk. [PDF] Keyword(s): CHR 2008, related formalisms, CHR 2008, CHR 2008.
  2. Tom Schrijvers. Constraint Handling Rules --- A Tutorial for (Prolog) Programmers. In M. Garcìa de la Banda and E. Pontelli, editors, ICLP08l, volume 5366 of LNCS, pages 9-10, December 2008. SV. [doi:10.1007/978-3-540-89982-2_3] Keyword(s): tutorial.
  3. Thom Frühwirth. Constraint Handling Rules: the story so far. In A. Bossi and M.J. Maher, editors, PPDP06l, pages 13-14, July 2006. ACM. ISBN: 1-59593-388-3. Keyword(s): tutorial.
  4. Thom Frühwirth. Constraint Handling Rules. In A. Podelski, editor, Constraint Programming: Basic and Trends --- Selected Papers of the 22nd Spring School in Theoretical Computer Sciences, May 16--20, 1994, volume 910 of LNCS, pages 90-107, 1995. SV. ISBN: 3-540-59155-9. Keyword(s): tutorial.

BACK TO INDEX