bibliographer - Petr Janku

bibliographer a curated TCS bibliography

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

String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report) Lukas Holik Petr Janku Anthony W. Lin Philipp Rummer Tomas Vojnar [github]

Lazy automata techniques for WS1S Tomas Fiedor Lukas Holik Petr Janku Ondrej Lengal Tomas Vojnar [github]

String constraints with concatenation and transducers solved efficiently Lukáš Holík Petr Janků Anthony W. Lin Philipp Rümmer Tomáš Vojnar [github]

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

[show logs] [hide logs]