Travelled to:
1 × Austria
1 × Finland
1 × Germany
1 × Greece
1 × Hungary
Collaborated with:
∅ H.Prodinger F.J.Urbanek M.Droste Z.Ésik
Talks about:
automata (3) semir (3) pushdown (2) algebra (2) theori (2) system (2) formal (2) power (2) tree (2) seri (2)
Person: Werner Kuich
DBLP: Kuich:Werner
Facilitated 2 volumes:
Contributed to:
Wrote 8 papers:
- DLT-1997-Kuich #automaton #named
- Semirings: A basis for a mathematical automata and language theory (WK), pp. 49–60.
- DLT-1997-Kuich97a
- Formal Power Series over Trees (WK), pp. 61–101.
- ICALP-1995-Kuich #algebra
- The Algebraic Equivalent of AFL Theory (WK), pp. 39–50.
- DLT-1993-Kuich
- Lindenmayer Systems Generalized to Formal Power Series and Their Growth Functions (WK), pp. 171–178.
- ICALP-1990-Kuich #algebra #automaton
- ω-Continuous Semirings, Algebraic Systems and Pushdown Automata (WK), pp. 103–110.
- ICALP-1987-Kuich #theorem
- The Kleene and the Parikh Theorem in Complete Semirings (WK), pp. 212–225.
- ICALP-1979-KuichPU #on the
- On the Height of Derivation Trees (WK, HP, FJU), pp. 370–384.
- AFL-2017-DrosteEK #automaton
- The Triple-Pair Construction for Weighted ω-Pushdown Automata (MD, ZÉ, WK), pp. 101–113.