( en | de | ru )

 

Disambiguierung von "Meo, Maria Chiara"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A compositional semantics for CHR.

, , und . PPDP, Seite 209-217. ACM, (2005)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Walter Meon

Luca Meoli

Benedikt Meon

Günter Meon

Renato Meola

 

Weitere Publikationen von Autoren mit dem selben Namen

Proving correctness of timed concurrent constraint programs., , und . APPIA-GULP-PRODE, Seite 213-228. Departamento de Informática, Universidade de Évora, (2001)Differential Logic Programming., , , , und . POPL, Seite 359-370. ACM Press, (1993)A Temporal Logic for reasoning about Timed Concurrent Constraint Programs., , und . TIME, Seite 227-233. IEEE Computer Society, (2001)A compositional semantics for CHR., , und . PPDP, Seite 209-217. ACM, (2005)Descending chains and narrowing on template abstract domains., , , und . Acta Informatica, 55 (6): 521-545 (2018)A Bottom-up Semantics for Constructive Negation., , und . ICLP, Seite 520-534. MIT Press, (1994)A Compositional Semantics for Logic Programs., , , und . Theor. Comput. Sci., 122 (1&2): 3-47 (1994)On the Need for a Common API for Abstract Domains of Object-Oriented Programs., , und . FTfJP@ECOOP, Seite 15-17. ACM, (2022)Unfold/Fold Transformations of CCP Programs., , und . CONCUR, Volume 1466 von Lecture Notes in Computer Science, Seite 348-365. Springer, (1998)Narrowing Operators on Template Abstract Domains., , , und . FM, Volume 9109 von Lecture Notes in Computer Science, Seite 57-72. Springer, (2015)