arXiv 2004-07-16 EN Exploiting Semidefinite Relaxations in Constraint Programming van Hoeve, Willem Jan
arXiv 2004-07-16 EN A Hyper-Arc Consistency Algorithm for the Soft Alldifferent Constraint van Hoeve, Willem Jan
arXiv 2004-06-29 EN Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery Bussche, Jan Van den · Van Gucht, Dirk · Vansummeren, Stijn
arXiv 2004-06-16 EN Improving Prolog Programs: Refactoring for Prolog Schrijvers, Tom · Serebrenik, Alexander
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 A Proof Theoretic Approach to Failure in Functional Logic Programming Lopez-Fraguas, Francisco Javier · Sanchez-Hernandez, Jaime
arXiv 2004-05-26 EN A Coalgebraic Approach to Kleene Algebra with Tests Chen, Hubie · Pucella, Riccardo
arXiv 2004-05-24 EN On the Expressive Power of First-Order Boolean Functions in PCF Pucella, Riccardo · Panangaden, Prakash
arXiv 2004-05-24 EN High-Level Networking With Mobile Code And First Order AND-Continuations Tarau, Paul · Dahl, Veronica
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 Learning Hybrid Algorithms for Vehicle Routing Problems Caseau, Yves · Silverstein, Glenn · Laburthe, Francois
arXiv 2004-05-23 EN A Framework for Interoperability Fisher, Kathleen · Pucella, Riccardo · Reppy, John
arXiv 2004-05-23 EN Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel Pucella, Riccardo · Meijer, Erik · Oliva, Dino
arXiv 2004-05-22 EN Reduction Strategies in Lambda Term Normalization and their Effects on Heap Usage Qi, Xiaochu
arXiv 2004-04-26 EN Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version Bagnara, Roberto · Gori, Roberta · Hill, Patricia M. · Zaffanella, Enea
arXiv 2004-04-26 EN Constraint Logic Programming with Hereditary Harrop Formula Leach, Javier · Nieva, Susana · Rodriguez-Artalejo, Mario
