bibliographer - Teodor Knapik

bibliographer a curated TCS bibliography

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

Lindenmayer graph languages, first-order theories and expanders Teodor Knapik [github]

Thue Specifications and Their Monadic Second-order Properties Teodor Knapik Hugues Calbrix [github]

Higher order indexed monadic systems Didier Caucal Teodor Knapik [github]

The Evaluation of First-order Substitution is Monadic Second-order Compatible Bruno Courcelle Teodor Knapik [github]

A String-Rewriting Characterization of Muller and Schupp's Context-Free Graphs Hugues Calbrix Teodor Knapik [github]

A Chomsky-Like Hierarchy of Infinite Graphs Didier Caucal Teodor Knapik [github]

Deciding monadic theories of hyperalgebraic trees Teodor Knapik Damian Niwinski Paweł Urzyczyn [github]

Unsafe grammars and panic automata Teodor Knapik Damian Niwiński Paweł Urzyczyn Igor Walukiewicz [github]

Higher-Order Pushdown Trees Are Easy Teodor Knapik Damian Niwiński Paweł Urzyczyn [github]

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

[show logs] [hide logs]