bibliographer - Lia Schutze

bibliographer a curated TCS bibliography

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

Bounded Treewidth, Multiple Context-Free Grammars, and Downward Closures C. Aiswarya Pascal Baumann Prakash Saivasan Lia Schutze Georg Zetzsche [github]

Bounded treewidth, multiple context-free grammars, and downward closures C. Aiswarya Pascal Baumann Prakash Saivasan Lia Schutze Georg Zetzsche [github]

Well-Quasi-Orderings on Word Languages Nathan Lhote Aliaume Lopez Lia Schutze [github]

On the Length of Strongly Monotone Descending Chains over mathbbN^d Sylvain Schmitz Lia Schutze [github]

Verifying Unboundedness via Amalgamation Ashwani Anand Sylvain Schmitz Lia Schutze Georg Zetzsche [github]

Unboundedness problems for machines with reversal-bounded counters Pascal Baumann Flavio D'Alessandro Moses Ganardi Oscar Ibarra Ian McQuillan Lia Schutze Georg Zetzsche [github]

On the Length of Strongly Monotone Descending Chains over mathbbN^d Sylvain Schmitz Lia Schutze [github]

Coverability in VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality Marvin Kunnemann Filip Mazowiecki Lia Schutze Henry Sinclair-Banks Karol Węgrzycki [github]

Reachability in Bidirected Pushdown VASS Moses Ganardi Rupak Majumdar Andreas Pavlogiannis Lia Schutze Georg Zetzsche [github]

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

[show logs] [hide logs]