Volgen
Ruben Turkenburg
Ruben Turkenburg
PhD Student, Radboud University Nijmegen
Geverifieerd e-mailadres voor ru.nl - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Preservation and reflection of bisimilarity via invertible steps
R Turkenburg, C Kupke, J Rot, E Schoen
Springer, 2023
12023
Forward and Backward Steps in a Fibration
R Turkenburg, H Beohar, C Kupke, J Rot
Dagstuhl: Dagstuhl Publishing, 2023
12023
Corecursion up-to via Causal Transformations
D Pous, J Rot, R Turkenburg
International Workshop on Coalgebraic Methods in Computer Science, 133-154, 2022
2022
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–3