BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Seese:Detlef

Contributed to:

CSL 19981998
CSL 19961996
CSL 19901990
GG 19901990
ICALP 19881988

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.