bibliographer - Antoni Puch

bibliographer a curated TCS bibliography

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

Reachability in VASS Extended with Integer Counters Clotilde Bizière Wojciech Czerwiński Roland Guttenberg Jérôme Leroux Vincent Michielini Łukasz Orlikowski Antoni Puch Henry Sinclair-Banks [github]

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata Filip Mazowiecki Antoni Puch Daniel Smertnig [github]

Factoring through monomial representations: arithmetic characterizations and ambiguity of weighted automata Daniel Smertnig Antoni Puch [github]

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

[show logs] [hide logs]