( en | de | ru )

 

Disambiguierung von "Rot, Jurriaan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A general account of coinduction up-to.

, , , und . Acta Inf., 54 (2): 127-190 (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

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)Distributive laws for monotone specifications.. Acta Inf., 56 (7-8): 585-617 (2019)Coalgebraic Determinization of Alternating Automata., und . CoRR, (2018)Fast Computations on Ordered Nominal Sets., , und . ICTAC, Volume 11187 von Lecture Notes in Computer Science, Seite 493-512. Springer, (2018)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)Presenting Distributive Laws., , , und . Log. Methods Comput. Sci., (2015)A big step from finite to infinite computations., , , und . Sci. Comput. Program., (2020)Separation and Renaming in Nominal Sets., und . CoRR, (2019)