Reusable monadic semantics of logic programs with arithmetic predicates

José Emilio Labra Gayo, Juan Manuel Cueva Lovelle, María Cándida Luengo Díez, Agustín Cernuda del Río. Reusable monadic semantics of logic programs with arithmetic predicates. In Luís Moniz Pereira, Paulo Quaresma, editors, APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001. pages 31-45, Departamento de Informática, Universidade de Évora, 2001. [doi]

Bibliographies