( en | de | ru )

 

Disambiguierung von "Bonchi, Filippo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symbolic Semantics Revisited.

, und . FoSSaCS, Volume 4962 von Lecture Notes in Computer Science, Seite 395-412. Springer, (2008)

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.

Cesare Filippo

Filippo Coletti

Filippo Pellacani

Filippo Scacco

Filippo Fratini

 

Weitere Publikationen von Autoren mit dem selben Namen

Interacting Hopf Algebras., , und . CoRR, (2014)A General Theory of Barbs, Contexts, and Labels., , und . ACM Trans. Comput. Log., 15 (4): 35:1-35:27 (2014)Convexity via Weak Distributive Laws., und . CoRR, (2021)String Diagram Rewrite Theory I: Rewriting with Frobenius Structure., , , , und . CoRR, (2020)Bisimilarity of open terms in stream GSOS., , , und . Sci. Comput. Program., (2019)Modular encoding of synchronous and asynchronous interactions using open Petri nets., , , und . Sci. Comput. Program., (2015)On Doctrines and Cartesian Bicategories., , , und . CALCO, Volume 211 von LIPIcs, Seite 10:1-10:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Preface., , , , und . ICE@ICALP, Volume 229 von Electronic Notes in Theoretical Computer Science, Seite 1-2. Elsevier, (2008)Saturated Semantics for Coalgebraic Logic Programming., und . CALCO, Volume 8089 von Lecture Notes in Computer Science, Seite 80-94. Springer, (2013)Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding)., , und . EXPRESS, Volume 242 von Electronic Notes in Theoretical Computer Science, Seite 73-98. Elsevier, (2008)