Reusable monadic semantics of logic programs with arithmetic predicates

  1. J.E. Labra Gayo 1
  2. J.M. Cueva Lovelle 1
  3. M.C. Luengo Díez 1
  4. A. Cernuda del Río 1
  1. 1 Universidad de Oviedo
    info

    Universidad de Oviedo

    Oviedo, España

    ROR https://ror.org/006gksa02

Actas:
APPIA-GULP-PRODE'2001 : Joint Conference on Declarative Programming

Editorial: Universidade de Évora

Año de publicación: 2001

Páginas: 31-46

Congreso: Joint Conference on Declarative Programming (8. 2001. Évora, Portugal)

Tipo: Aportación congreso

GOOGLE SCHOLAR