Publications

of François Fages

Conference articles

  1. Marcos Aurélio, François Fages, and Jacques Robin. Default Reasoning in CHR$^\vee$. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 111-126, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, disjunction, CHR 2008, CHR 2008.
  2. François Fages, Cleyton Mário de Oliveira Rodrigues, and Thierry Martinez. Modular CHR with phask and phtell. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 95-110, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, CHR 2008, CHR 2008.
  3. Rémy Haemmerlé and François Fages. Abstract Critical Pairs and Confluence of Arbitrary Binary Relations. In RTA '07: Proc. 18th Intl. Conf. Term Rewriting and Applications, volume 4533 of LNCS, June 2007. SV. [doi:10.1007/978-3-540-73449-9_17] Keyword(s): confluence.
  4. Julien Martin and François Fages. From Business Rules to Constraint Programs in Warehouse Management Systems. In Doctoral programme of the 13th Intl. Conf. on Princ. and Pract. of Constraint Programming, 2007. Keyword(s): related formalisms.
  5. Emmanuel Coquery and François Fages. A Type System for CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR05l, pages 19-33, 2005. KULCW, Technical report CW 421. [PDF] Keyword(s): CHR 2005, type systems, CHR 2005, CHR 2005.
  6. Emmanuel Coquery and François Fages. TCLP: A type checker for CLP($\mathcal{X}$). In F. Mesnard and A. Serebrenik, editors, WLPE03, KULCW, Technical report CW 371, pages 17-30, 2003. Keyword(s): type systems.

BACK TO INDEX