Diagrammatic confluence for Constraint Handling Rules von Haemmerle, Remy

Volltext

Observational equivalences for linear logic concurrent constraint languages von Haemmerle, Remy

Volltext

(Co-)Inductive semantics for Constraint Handling Rules von Haemmerle, Remy

Volltext

ENTRA: Whole-systems energy transparency von Eder, Kerstin, Gallagher, John P., López-García, Pedro, Muller, Henk, Banković, Zorana, Georgiou, Kyriakos, Haemmerlé, Rémy, Hermenegildo, Manuel V., Kafle, Bishoksan, Kerrison, Steve, Kirkeby, Maja, Klemen, Maximiliano, Li, Xueliang, Liqat, Umer, Morse, Jeremy, Rhiger, Morten, Rosendahl, Mads

Volltext

On Termination, Confluence and Consistent CHR-based Type Inference von DUCK, GREGORY J., HAEMMERLÉ, RÉMY, SULZMANN, MARTIN

Volltext

Lightweight compilation of (C)LP to JavaScript von MORALES, JOSE F., HAEMMERLÉ, RÉMY, CARRO, MANUEL, HERMENEGILDO, MANUEL V.

Volltext

Modules for Prolog Revisited von Haemmerlé, Rémy, Fages, François

Volltext

Closures and Modules Within Linear Logic Concurrent Constraint Programming von Haemmerlé, Rémy, Fages, François, Soliman, Sylvain

Volltext

Abstract Critical Pairs and Confluence of Arbitrary Binary Relations von Haemmerlé, Rémy, Fages, François

Volltext

ICLP 2005 Doctoral Consortium: SiLCC Is Linear Concurrent Constraint Programming von HAEMMERLE, Rémy

Volltext

Diagrammatic confluence for Constraint Handling Rules von Haemmerlé, Rémy

Volltext

(Co-)Inductive semantics for Constraint Handling Rules von Haemmerlé, Rémy

Volltext bestellen

Observational equivalences for linear logic CC languages von Haemmerlé, Rémy

Volltext bestellen

Proceedings of the Eleventh Workshop on Constraint Handling Rules von Haemmerlé, Rémy, Sneyers, Jon

Volltext bestellen

Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013) von Haemmerlé, Rémy, Morales, Jose

Volltext bestellen

Modular Extensions for Modular (Logic) Languages von Morales, José F., Hermenegildo, Manuel V., Haemmerlé, Rémy

Volltext

Proceedings of the Eleventh Workshop on Constraint Handling Rules von Haemmerlé, Rémy, Sneyers, Jon

Volltext

Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013) von Haemmerlé, Rémy, Morales, Jose

Volltext

Lightweight compilation of (C)LP to JavaScript von Morales, Jose F, Haemmerlé, Rémy, Carro, Manuel, Hermenegildo, Manuel V

Volltext

The Ciao clp(FD) Library. A Modular CLP Extension for Prolog von Arias, Emilio Jesús Gallego, Haemmerlé, Rémy, Hermenegildo, Manuel V, Morales, José F

Volltext bestellen