Seese, Detlef.
Seese, Detlef G.
VIAF ID: 5486236 ( Personal )
Permalink: http://viaf.org/viaf/5486236
Preferred Forms
- 100 1 _ ‡a Seese, Detlef
- 100 1 _ ‡a Seese, Detlef
-
-
- 100 1 0 ‡a Seese, Detlef G.
- 100 1 _ ‡a Seese, Detlef G.
-
4xx's: Alternate Name Forms (4)
5xx's: Related Names (5)
- 510 2 _ ‡a Institut für Angewandte Informatik und Formale Beschreibungsverfahren ‡9 g:Karlsruhe ‡e Affiliation
- 510 2 _ ‡a Institut für Angewandte Informatik und Formale Beschreibungsverfahren (Karlsruhe)
- 510 2 _ ‡a Naturwiss. Fak
- 510 2 _ ‡a SpringerLink (Online service)
- 510 2 _ ‡a Zentralinstitut für Mathematik und Mechanik
Works
Title | Sources |
---|---|
Anschauliche kombinatorische topologie | |
Construction of nice trees | |
Decidability of omega-trees with bounded sets, 1978: | |
Entscheidbarkeits - und Interpretierbarkeitsfragen monadischer Theorien zweiter Stufe gewisser Klassen von Graphen | |
Grids and their minors | |
Grundkurs Programmieren in Java | |
Handbook on information technology in finance | |
Naglâdnaâ topologiâ | |
Ordered tree representations of infinite graphs | |
Stationäre Logik, beschränkte Mengen, Entscheidbarkeit | |
Stationary logic and ordinals | |
Subject-Oriented Business Process Management : Second International Conference, S-BPM ONE 2010, Karlsruhe, Germany, October 14, 2010. Selected Papers | |
Tree partite graphs and the complexity of algorithms |