Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Haemmerlé, Rémy - Facultad de Informática, Universidad Politécnica de Madrid
Modules for Prolog Revisited Remy Haemmerle and Francois Fages
Verification of Constraint Handling Rules using Linear Logic Phase Semantics
Fermetures et Modules dans les langages Concurrents avec Contraintes
Closures and Modules within Linear Logic Concurrent Constraint Programming
Abstract Critical Pairs and Confluence of Arbitrary Binary Relations
ICLP 2005 Doctoral Consortium SiLCC Is Linear Concurrent Constraint Programming
UNIVERSIT PARIS. DIDEROT (Paris 7) pour l'obtention du Diplme de
Modular Extensions for Modular (Logic) Languages
