( en | de | ru )

 

Disambiguierung von "Rot, Jurriaan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Bisimilarity of Open Terms in Stream GSOS.

, , und . FSEN, Volume 10522 von Lecture Notes in Computer Science, Seite 35-50. Springer, (2017)

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.

Jurriaan Feijth

Sergej Rot

Jurriaan Schulman

Jurriaan Souer

Jurriaan Schulman

 

Weitere Publikationen von Autoren mit dem selben Namen

Coalgebraic Determinization of Alternating Automata., und . CoRR, (2018)Structural congruence for bialgebraic semantics., und . J. Log. Algebraic Methods Program., 85 (6): 1268-1291 (2016)Fast Computations on Ordered Nominal Sets., , und . ICTAC, Volume 11187 von Lecture Notes in Computer Science, Seite 493-512. Springer, (2018)Effectively Eliminating Auxiliaries., und . Theory and Practice of Formal Methods, Volume 9660 von Lecture Notes in Computer Science, Seite 226-241. Springer, (2016)Up-to Techniques for Branching Bisimilarity., , und . CoRR, (2020)Distributive laws for monotone specifications.. Acta Inf., 56 (7-8): 585-617 (2019)A big step from finite to infinite computations., , , und . Sci. Comput. Program., (2020)Separation and Renaming in Nominal Sets., und . CoRR, (2019)Fast computations on ordered nominal sets., , und . Theor. Comput. Sci., (2022)Presenting Distributive Laws., , , und . Log. Methods Comput. Sci., (2015)