( en | de | ru )

 

Disambiguierung von "Silva, Alexandra"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Preface for the special issue on Interaction and Concurrency Experience 2012.

, , , und . Sci. Comput. Program., (2015)

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.

Manuel Silva

Gevson Silva Andrade

Sergio Silva

Raimund Silva

Julio Silva Colmenares

 

Weitere Publikationen von Autoren mit dem selben Namen

Automata for Context-Dependent Connectors., , und . COORDINATION, Volume 5521 von Lecture Notes in Computer Science, Seite 184-203. Springer, (2009)Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages (Invited Talk).. FSCD, Volume 84 von LIPIcs, Seite 3:1-3:1. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Coalgebraic Learning.. CSL, Volume 62 von LIPIcs, Seite 5:1-5:1. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)A Coinductive Treatment of Infinitary Rewriting., , , , und . CoRR, (2013)A Logic to Reason about Dependence and Independence., , , und . CoRR, (2020)Left-handed completeness., und . Theor. Comput. Sci., (2020)Trace semantics via determinization., , und . J. Comput. Syst. Sci., 81 (5): 859-879 (2015)A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests., , und . ESOP, Volume 13990 von Lecture Notes in Computer Science, Seite 309-336. Springer, (2023)A Kleene Theorem for Nominal Automata., und . ICALP, Volume 132 von LIPIcs, Seite 107:1-107:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Hennessy-Milner Results for Probabilistic PDL., , und . MFPS, Volume 352 von Electronic Notes in Theoretical Computer Science, Seite 283-304. Elsevier, (2020)