bibliographer - Jurriaan Rot

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Presenting Distributive Laws Marcello M. Bonsangue Helle Hvid Hansen Alexander Kurz Jurriaan Rot [github]

Coalgebraic Bisimulation-Up-To Jurriaan Rot Marcello Bonsangue Jan Rutten [github]

Presenting Distributive Laws Marcello M. Bonsangue Helle Hvid Hansen Alexander Kurz Jurriaan Rot [github]

Learning Weighted Automata over Principal Ideal Domains Gerco van Heerdt Clemens Kupke Jurriaan Rot Alexandra Silva [github]

Fast Computations on Ordered Nominal Sets David Venhoek Joshua Moerman Jurriaan Rot [github]

Separation and Renaming in Nominal Sets Joshua Moerman Jurriaan Rot [github]

Separation and Renaming in Nominal Sets Joshua Moerman Jurriaan Rot [github]

A general account of coinduction up-to Filippo Bonchi Daniela Petrişan Damien Pous Jurriaan Rot [github]

Coalgebraic Minimization of Automata by Initiality and Finality Jurriaan Rot [github]

Coinduction up-to in a fibrational setting Filippo Bonchi Daniela Petrişan Damien Pous Jurriaan Rot [github]

Library Size: 13G (10 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]