( en | de | ru )

 

Disambiguierung von "Zanasi, Fabio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Categorical Semantics of Signal Flow Graphs.

, , und . CONCUR, Volume 8704 von Lecture Notes in Computer Science, Seite 435-450. Springer, (2014)

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.

Fabio Sternberg

Fabio Galbusera

Fabio Farinon

Fabio Giovannini

Fabio Ruggiero

 

Weitere Publikationen von Autoren mit dem selben Namen

Functorial String Diagrams for Reverse-Mode Automatic Differentiation., , , und . CoRR, (2021)Rewriting for Monoidal Closed Categories., , , und . FSCD, Volume 228 von LIPIcs, Seite 29:1-29:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)A Coalgebraic Perspective on Probabilistic Logic Programming., und . CALCO, Volume 139 von LIPIcs, Seite 10:1-10:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Weak MSO: automata and expressiveness modulo bisimilarity., , , und . CSL-LICS, Seite 27:1-27:27. ACM, (2014)Full Abstraction for Signal Flow Graphs., , und . POPL, Seite 515-526. ACM, (2015)Learning Closed Signal Flow Graphs., , und . CoRR, (2024)Lawvere Categories as Composed PROPs., , und . CMCS, Volume 9608 von Lecture Notes in Computer Science, Seite 11-32. Springer, (2016)A Categorical Model for Retrosynthetic Reaction Analysis., , und . CoRR, (2023)Functorial String Diagrams for Reverse-Mode Automatic Differentiation., , , und . CSL, Volume 252 von LIPIcs, Seite 6:1-6:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Functorial Semantics as a Unifying Perspective on Logic Programming., und . CALCO, Volume 211 von LIPIcs, Seite 17:1-17:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)