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:
1994
1991
199019901988
1985Wrote 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.