`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.