Flum, Jörg.
Flum, Jörg 1944-
Jörg Flum Dr. rer. nat. Albert-Ludwigs-Universität Freiburg im Breisgau 1969
VIAF ID: 54214837 ( Personal )
Permalink: http://viaf.org/viaf/54214837
Preferred Forms
- 200 _ | ‡a Flum ‡b Jörg
-
-
-
- 100 1 _ ‡a Flum, Jörg
- 100 1 _ ‡a Flum, Jörg ‡d 1944-
- 100 1 _ ‡a Flum, Jörg, ‡d 1944-....
-
-
- 100 1 _ ‡a Flum, Jörg
-
- 100 1 _ ‡a Flum, Jörg ‡d 1944-
-
- 100 0 _ ‡a Jörg Flum ‡c Dr. rer. nat. Albert-Ludwigs-Universität Freiburg im Breisgau 1969
4xx's: Alternate Name Forms (5)
5xx's: Related Names (4)
- 510 2 _ ‡a Albert-Ludwigs-Universität Freiburg ‡e Affiliation
- 510 2 _ ‡a CSL 13, 1999, Madrid
- 510 2 _ ‡a Freiburg (Breisgau), Univ
- 510 2 _ ‡a Universität Freiburg
Works
Title | Sources |
---|---|
Computer science logic : 13th international workshop, CSL'99, 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings | |
CSL'99 | |
Einführung in die mathematische Logik | |
Finite model theory | |
Fixed-parameter tractability and logic | |
Games and partial datalog queries | |
Ganzgeschlossene und prädikatengeschlossene Logiken | |
Hanf numbers and well-ordering numbers | |
Logic and automata : history and perspectives | |
Mathematical logic | |
Model checking problems as a basis for parameterized intractability | |
Parameterized complexity theory | |
L(Q)-preservation theorems | |
A remark on infinitary languages |