( en | de | ru )

 

Disambiguierung von "Rot, Jurriaan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Separation and Renaming in Nominal Sets.

, und . CoRR, (2019)

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)Distributive laws for monotone specifications.. Acta Inf., 56 (7-8): 585-617 (2019)Structural congruence for bialgebraic semantics., und . J. Log. Algebraic Methods Program., 85 (6): 1268-1291 (2016)Fast computations on ordered nominal sets., , und . Theor. Comput. Sci., (2022)Separation and Renaming in Nominal Sets., und . CoRR, (2019)Presenting Distributive Laws., , , und . Log. Methods Comput. Sci., (2015)Fast Computations on Ordered Nominal Sets., , und . ICTAC, Volume 11187 von Lecture Notes in Computer Science, Seite 493-512. Springer, (2018)Up-to Techniques for Branching Bisimilarity., , und . CoRR, (2020)Effectively Eliminating Auxiliaries., und . Theory and Practice of Formal Methods, Volume 9660 von Lecture Notes in Computer Science, Seite 226-241. Springer, (2016)Forward and Backward Steps in a Fibration., , , und . CALCO, Volume 270 von LIPIcs, Seite 6:1-6:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)