arXiv 2004-05-27 EN A Proof Theoretic Approach to Failure in Functional Logic Programming Lopez-Fraguas, Francisco Javier · Sanchez-Hernandez, Jaime
arXiv 2004-05-27 EN Worst-Case Groundness Analysis Using Definite Boolean Functions Genaim, Samir · Codish, Michael · Howe, Jacob M.
arXiv 2004-05-27 EN On model checking data-independent systems with arrays without reset Lazic, R. S. · Newcomb, T. C. · Roscoe, A. W.
arXiv 2004-05-24 EN Learning Hybrid Algorithms for Vehicle Routing Problems Caseau, Yves · Silverstein, Glenn · Laburthe, Francois
arXiv 2004-05-24 EN CLAIRE: Combining Sets, Search And Rules To Better Express Algorithms Caseau, Yves · Josset, Francois-Xavier · Laburthe, Francois
arXiv 2004-05-24 EN High-Level Networking With Mobile Code And First Order AND-Continuations Tarau, Paul · Dahl, Veronica
arXiv 2004-05-22 EN An Abductive Framework For Computing Knowledge Base Updates Sakama, Chiaki · Inoue, Katsumi
arXiv 2004-04-26 EN Constraint Logic Programming with Hereditary Harrop Formula Leach, Javier · Nieva, Susana · Rodriguez-Artalejo, Mario
arXiv 2004-04-25 EN Multi-Threading And Message Communication In Qu-Prolog Clark, Keith L. · Robinson, Peter J. · Hagen, Richard
arXiv 2004-04-24 EN A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types Arenas-Sanchez, Puri · Rodriguez-Artalejo, Mario
arXiv 2004-04-24 EN Knowledge And The Action Description Language A Lobo, Jorge · Mendez, Gisela · Taylor, Stuart R.
arXiv 2004-04-02 EN Enhancing the expressive power of the U-Datalog language Bertino, Elisa · Catania, Barbara · Gori, Roberta
