bibliographer - Daniela Petrişan

bibliographer a curated TCS bibliography

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

Automata and Minimization Thomas Colcombet Daniela Petrişan [github]

Combining Probabilistic and Non-Deterministic Choice via Weak Distributive Laws Alexandre Goy Daniela Petrişan [github]

Automata Minimization: a Functorial Approach Thomas Colcombet Daniela Petrişan [github]

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

On universal algebra over nominal sets ALEXANDER KURZ DANIELA PETRIŞAN [github]

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

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

[show logs] [hide logs]