bibliographer - Werner Kuich

bibliographer a curated TCS bibliography

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

Languages and the enumeration of planted plane trees Werner Kuich [github]

Kleene theorems for skew formal power series Werner Kuich [github]

Undecidability of the universal support problem for weighted automata over zero-sum-free commutative semirings Manfred Droste Werner Kuich [github]

Greibach Normal Form for ømega-Algebraic Systems and Weighted Simple ømega-Pushdown Automata Manfred Droste Sven Dziadek Werner Kuich [github]

On the Multiplicity Equivalence Problem for Context-Free Grammars Werner Kuich [github]

Pushdown Tree Automata, Algebraic Tree Systems, and Algebraic Tree Series Werner Kuich [github]

Weighted simple reset pushdown automata Manfred Droste Sven Dziadek Werner Kuich [github]

The characterization of nonexpansive grammars by rational power series Gerd Baron Werner Kuich [github]

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

[show logs] [hide logs]