`Travelled to:`

1 × Finland

1 × France

1 × Spain

1 × USA

2 × Germany

`Collaborated with:`

A.Proskurowski D.Seese J.Lagergren E.Tidén B.Courcelle

`Talks about:`

graph (3) forbidden (2) problem (2) minor (2) tree (2) treewidth (1) distribut (1) congruenc (1) techniqu (1) subclass (1)

## Person: Stefan Arnborg

### DBLP: Arnborg:Stefan

### Contributed to:

### Wrote 6 papers:

- TAGT-1994-ArnborgP #bound #graph #subclass
- A Technique for Recognizing Graphs of Bounded Treewidth with Application to Subclasses of Partial 2-Paths (SA, AP), pp. 469–486.
- ICALP-1991-LagergrenA #congruence #finite #using
- Finding Minimal Forbidden Minors Using a Finite Congruence (JL, SA), pp. 532–543.
- 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.
- RTA-1985-ArnborgT #problem #unification
- Unification Problems with One-Sided Distributivity (SA, ET), pp. 398–406.