`Travelled to:`

1 × Czech Republic

1 × Finland

1 × The Netherlands

2 × Germany

`Collaborated with:`

M.Kreidler S.Arnborg A.Proskurowski J.Lagergren B.Courcelle

`Talks about:`

monad (3) graph (3) tree (3) minor (2) forbidden (1) decompos (1) automata (1) problem (1) algebra (1) theori (1)

## Person: Detlef Seese

### DBLP: Seese:Detlef

### Contributed to:

### Wrote 5 papers:

- CSL-1998-KreidlerS #graph #monad
- Monadic NP and Graph Minors (MK, DS), pp. 126–141.
- CSL-1996-KreidlerS #monad
- Monadic NP and Built-in Trees (MK, DS), pp. 260–275.
- CSL-1990-ArnborgPS #automaton #higher-order #logic #monad
- Monadic Second Order Logic, Tree Automata and Forbidden Minors (SA, AP, DS), pp. 1–16.
- GG-1990-ArnborgCPS #algebra #graph #reduction
- An Algebraic Theory of Graph Reduction (SA, BC, AP, DS), pp. 70–83.
- ICALP-1988-ArnborgLS #graph #problem
- Problems Easy for Tree-Decomposable Graphs (SA, JL, DS), pp. 38–51.