Publications

of Manuel Hermenegildo

Books and proceedings

  1. Manuel Hermenegildo and Torsten Schaub, editors. ICLP10l, volume 10(4--6) of TPLP. CUP, July 2010.
  2. Manuel Hermenegildo and Torsten Schaub, editors. Technical Communications of the 26th Intl. Conf. on Logic Programming, volume 7 of Leibniz Intl. Proc. in Informatics (LIPIcs), Dagstuhl, Germany, July 2010. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik.

Conference articles

  1. Jose F. Morales, Manuel Hermenegildo, and Rémy Haemmerlé. Modular Extensions for Modular (Logic) Languages. In German Vidal, editor, LOPSTR11l, LNCS, 2011. Keyword(s): extensions.

BACK TO INDEX