Reusable Monadic Semantics of Logic Programs with Arithmetic Predicates (2001)  (Make Corrections)   J. E. Labra Gayo, J. M. Cueva Lovelle, M. C. Luengo Diez, A. Cernuda del RioProceedings 2001 APPIA-GULP-PRODE Joint Conf.\ on Declarative Programming, AGP'01, \'Evora, Portugal, 26--28 Sept.\ 2001   Home/Search   Context   Related

View or download: di.uniovi.es/~labra/FTP/Pap...agp01.pdf Cached:  PS.gz  PS  PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.   PS.gz  PS  PDF   Image  Update  Help From:  di002.edv.uniovi.e...investig_ENG (more) (Enter author homepages)

Rate this article: (best)   Comment on this article

@incollection{ gayo01reusable,
    author = "J. E. {Labra Gayo} and M. C. {Luengo D{\'\i}ez} and J. M. {Cueva Lovelle} and A. {Cernuda del R{\'\i}o}",
    title = "Reusable Monadic Semantics of Logic Programs with Arithmetic Predicates",
    booktitle = "Proceedings 2001 {APPIA}-{GULP}-{PRODE} Joint Conf.\ on Declarative Programming, {AGP}'01, {\'E}vora, Portugal, 26--28 Sept.\ 2001",
    publisher = "Dept.\ of Informatics, Univ.\ of {\'E}vora",
    pages = "31--45",
    year = "2001",
    url = "citeseer.ist.psu.edu/labragayo01reusable.html" }