bibliographer - Anthony Widjaja To

bibliographer a curated TCS bibliography

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

Parikh Images of Regular Languages: Complexity and Applications Anthony Widjaja To [github]

Model Checking FO(R) over One-counter Processes and Beyond Anthony Widjaja To [github]

Parikh Images of Grammars: Complexity and Applications Eryk Kopczyński Anthony Widjaja To [github]

The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems Matthew Hague Anthony Widjaja To [github]

Unary Finite Automata vs. Arithmetic Progressions Anthony Widjaja To [github]

Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems Anthony Widjaja To Leonid Libkin [github]

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

[show logs] [hide logs]