Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Rémy Haemmerlé
Modules for Prolog Revisited
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Closures and Modules Within Linear Logic Concurrent Constraint Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Prolog
Reihe Rechtswissenschaft
Prolog
Prolog WebSite
A Partial Breadth-First Execution Model for Prolog
Listlog — A PROLOG Extension for List Processing
The YAP Prolog System
Theory and Practice of Logic Programming
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Artificial Intelligence
Software
A Tabled Prolog Program for Solving Sokoban
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
A Tabled Prolog Program for Solving Sokoban
A Practical Type Analysis for Verification of Modular Prolog Programs
