( en | de | ru )

 

Disambiguierung von "Bonelli, Eduardo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Boxed Ambients with Communication Interfaces.

, , , und . MFCS, Volume 3153 von Lecture Notes in Computer Science, Seite 119-148. Springer, (2004)

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.

Antonio Bonelli

Raquel Regina Bonelli

Eduardo Ospina

Eduardo Klein

Eduardo Monari

 

Weitere Publikationen von Autoren mit dem selben Namen

The Logic of Proofs as a Foundation for Certifying Mobile Computation., und . LFCS, Volume 5407 von Lecture Notes in Computer Science, Seite 76-91. Springer, (2009)Type-based information flow analysis for bytecode languages with variable object field policies., und . SAC, Seite 347-351. ACM, (2008)The Intensional Lambda Calculus., und . LFCS, Volume 4514 von Lecture Notes in Computer Science, Seite 12-25. Springer, (2007)Normalisation for Dynamic Pattern Calculi., , , und . RTA, Volume 15 von LIPIcs, Seite 117-132. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)From Higher-Order to First-Order Rewriting., , und . RTA, Volume 2051 von Lecture Notes in Computer Science, Seite 47-62. Springer, (2001)A de Bruijn Notation for Higher-Order Rewriting., , und . RTA, Volume 1833 von Lecture Notes in Computer Science, Seite 62-79. Springer, (2000)BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions., , , , , , , und . CS2Bio, Volume 293 von Electronic Notes in Theoretical Computer Science, Seite 35-49. Elsevier, (2012)Optimality and the Linear Substitution Calculus., und . FSCD, Volume 84 von LIPIcs, Seite 9:1-9:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Pattern Matching and Fixed Points: Resource Types and Strong Call-By-Need: Extended Abstract., , und . PPDP, Seite 6:1-6:12. ACM, (2018)Justification Logic and History Based Computation., und . ICTAC, Volume 6255 von Lecture Notes in Computer Science, Seite 337-351. Springer, (2010)