( en | de | ru )

 

Disambiguierung von "Delzanno, Giorgio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs.

, , und . FLOPS, Volume 2024 von Lecture Notes in Computer Science, Seite 138-152. Springer, (2001)

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.

Giorgio Cortellaro

Giorgio Stefanoni

Giorgio Pudelko

Giorgio Borea

Giorgio Gonnella

 

Weitere Publikationen von Autoren mit dem selben Namen

Forum Objects., und . GULP-PRODE, Seite 283-294. (1995)A Bottom-Up Characterization of Finite Success., und . ILPS, Seite 676. MIT Press, (1993)Constraint-based automatic verification of abstract models of multithreaded programs. CoRR, (2006)The Cost of Parameterized Reachability in Mobile Ad Hoc Networks, , , und . CoRR, (2012)On the Qualitative Analysis of Conformon P Systems., , und . Workshop on Membrane Computing, Volume 5391 von Lecture Notes in Computer Science, Seite 78-94. Springer, (2008)On the Dynamics of PB Systems with Volatile Membranes., und . Workshop on Membrane Computing, Volume 4860 von Lecture Notes in Computer Science, Seite 240-256. Springer, (2007)Constraint-Based Verification of Client-Server Protocols., und . CP, Volume 2239 von Lecture Notes in Computer Science, Seite 286-301. Springer, (2001)Attacking Symbolic State Explosion., , und . CAV, Volume 2102 von Lecture Notes in Computer Science, Seite 298-310. Springer, (2001)Algorithmic Verification of Invalidation-Based Protocols., und . CAV, Volume 2404 von Lecture Notes in Computer Science, Seite 295-308. Springer, (2002)An Abstract Machine for Asynchronous Programs with Closures and Priority Queues., , , , , , und . RP, Volume 10506 von Lecture Notes in Computer Science, Seite 59-74. Springer, (2017)