bibliographer - Nils Vortmeier

bibliographer a curated TCS bibliography

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

Algebraic Characterizations of Classes of Regular Languages in DynFO Corentin Barloy Felix Tschirbs Nils Vortmeier Thomas Zeume [github]

Specification and Automatic Verification of Computational Reductions Julien Grange Fabian Vehlken Nils Vortmeier Thomas Zeume [github]

Dynamic Complexity of Reachability: How Many Changes Can We Handle Samir Datta Pankaj Kumar Anish Mukherjee Anuj Tawari Nils Vortmeier Thomas Zeume [github]

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

[show logs] [hide logs]