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]

Authors

José Emilio Labra Gayo

This author has not been identified. It may be one of the following persons: Look up 'José Emilio Labra Gayo' in Google

Juan Manuel Cueva Lovelle

This author has not been identified. Look up 'Juan Manuel Cueva Lovelle' in Google

María Cándida Luengo Díez

This author has not been identified. Look up 'María Cándida Luengo Díez' in Google

Agustín Cernuda del Río

This author has not been identified. Look up 'Agustín Cernuda del Río' in Google