( en | de | ru )

 

Disambiguierung von "Rot, Jurriaan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Combining Bialgebraic Semantics and Equations.

, und . FoSSaCS, Volume 8412 von Lecture Notes in Computer Science, Seite 381-395. 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.

Jurriaan Feijth

Sergej Rot

Jurriaan Schulman

Jurriaan Souer

Jurriaan Schulman

 

Weitere Publikationen von Autoren mit dem selben Namen

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 . SOFSEM, Volume 12011 von Lecture Notes in Computer Science, Seite 285-297. Springer, (2020)On Star Expressions and Coalgebraic Completeness Theorems., , und . MFPS, Volume 351 von EPTCS, Seite 242-259. (2021)Learning Language Intersections., und . A Journey from Process Algebra via Timed Automata to Model Learning, Volume 13560 von Lecture Notes in Computer Science, Seite 371-381. Springer, (2022)Preservation and Reflection of Bisimilarity via Invertible Steps., , , und . FoSSaCS, Volume 13992 von Lecture Notes in Computer Science, Seite 328-348. Springer, (2023)Composing Codensity Bisimulations., , , und . LICS, Seite 52:1-52:13. ACM, (2024)Expressive Logics for Coinductive Predicates., und . CSL, Volume 152 von LIPIcs, Seite 26:1-26:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)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)Distributive Laws for Monotone Specifications.. EXPRESS/SOS, Volume 255 von EPTCS, Seite 83-97. (2017)