Flum, JörgOverview
Most widely held works by
Jörg Flum
Logic and automata history and perspectives
by Jörg Flum
(
)
12 editions published between 2007 and 2008 in English and held by 1,212 WorldCat member libraries worldwide This collection of papers deal with challenges in disciplines such as complexity theory, games, algorithms and semi group theory and discuss current chellenges in this field
Finite model theory
by HeinzDieter Ebbinghaus
(
)
41 editions published between 1995 and 2006 in English and Polish and held by 1,106 WorldCat member libraries worldwide Presents the main results of descriptive complexity theory  the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. This book also looks at important logic in this context, which include fixedpoint logic, transitive closure logic, and certain infinitary languages
Mathematical logic
by HeinzDieter Ebbinghaus
(
Book
)
33 editions published between 1984 and 2008 in 3 languages and held by 797 WorldCat member libraries worldwide This junior/senior level text is devoted to a study of firstorder logic and its role in the foundations of mathematics: What is a proof? How can a proof be justified? To what extent can a proof be made a purely mechanical procedure? How much faith can we have in a proof that is so complex that no one can follow it through in a lifetime? The first substantial answers to these questions have only been obtained in this century. The most striking results are contained in Goedel's work: First, it is possible to give a simple set of rules that suffice to carry out all mathematical proofs; but, second, these rules are necessarily incomplete  it is impossible, for example, to prove all true statements of arithmetic. The book begins with an introduction to firstorder logic, Goedel's theorem, and model theory. A second part covers extensions of firstorder logic and limitations of the formal methods. The book covers several advanced topics, not commonly treated in introductory texts, such as Trachtenbrot's undecidability theorem. Fraissé's elementary equivalence, and Lindstroem's theorem on the maximality of firstorder logic
Parameterized complexity theory
by Jörg Flum
(
)
17 editions published between 2006 and 2011 in English and German and held by 563 WorldCat member libraries worldwide "Parameterized complexity theory is a recent branch of computational complexity theory that provides a framework for a refined analysis of hard algorithmic problems. The central notion of the theory, fixedparameter tractability, has led to the development of various new algorithmic techniques and a whole new theory of intractability." "This book is a stateoftheart introduction into both algorithmic techniques for fixedparameter tractability and the structural theory of parameterized complexity classes, and it presents detailed proofs of recent advanced results that have not appeared in book form before. Several chapters each are devoted to intractability, algorithmic techniques for designing fixedparameter tractable algorithms, and bounded fixedparameter tractability and subexponential time complexity. The treatment is comprehensive, and the reader is supported with exercises, notes, a detailed index, and some background on complexity theory and logic." "The book will be of interest to computer scientists, mathematicians and graduate students engaged with algorithms and problem complexity."Jacket
Topological model theory
by Jörg Flum
(
Book
)
14 editions published in 1980 in 3 languages and held by 517 WorldCat member libraries worldwide
Einführung in die mathematische Logik
by HeinzDieter Ebbinghaus
(
Book
)
24 editions published between 1978 and 2007 in German and held by 314 WorldCat member libraries worldwide Theory of Computation  Mathematical Logic and Formal Languages
Computer science logic : 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 2025, 1999 : proceedings
by G Gottlob
(
Book
)
22 editions published in 1999 in English and held by 304 WorldCat member libraries worldwide This book constitutes the refereed proceedings of the 13th Annual International Conference on Computer Science Logic, CSL '99, held under the sponsorship of EACSL in Madrid, Spain in September 1999. The 34 revised full papers presented together with five invited contributions were carefully reviewed and sleected from a total of 91 submissions. The papers are organized in sections on descriptive complexity; verification; temporal logic; lambda calculus and linear logic; logic programming, modal logic, and description logic; logic and complexity; lambda calculus and type theory; linear logic, mu calculus, and concurrency; and specification and data refinement
Computer science logic : 13th international workshop ; 8th annual conference of the EACSL ; proceedings
(
Book
)
1 edition published in 1999 in English and held by 11 WorldCat member libraries worldwide
Computer science logic 13th international workshop, CSL '99, 8th annual conference of the EACSL, Madrid, Spain, September 20  25, 1999 ; proceedings
(
)
1 edition published in 1999 in English and held by 5 WorldCat member libraries worldwide
Bounded fixed parameter tractability and log2 n nondeterministic bits
by Jörg Flum
(
Book
)
2 editions published in 2004 in English and held by 4 WorldCat member libraries worldwide
Parameterized complexity theory
(
)
1 edition published in 2006 in English and held by 4 WorldCat member libraries worldwide
Computer Science Logic 13th International Workshop, CSL'99 8th Annual Conference of the EACSL Madrid, Spain, September 2025, 1999 Proceedings
by Jörg Flum
(
)
2 editions published in 1999 in English and held by 4 WorldCat member libraries worldwide This book constitutes the refereed proceedings of the 13th Annual International Conference on Computer Science Logic, CSL '99, held under the sponsorship of EACSL in Madrid, Spain in September 1999. The 34 revised full papers presented together with five invited contributions were carefully reviewed and sleected from a total of 91 submissions. The papers are organized in sections on descriptive complexity; verification; temporal logic; lambda calculus and linear logic; logic programming, modal logic, and description logic; logic and complexity; lambda calculus and type theory; linear logic, mu calculus, and concurrency; and specification and data refinement
Ganzgeschlossene und prädikatengeschlossene Logiken
by Jörg Flum
(
Book
)
1 edition published in 1969 in German and held by 3 WorldCat member libraries worldwide
Computer science logic : 13th international workshop, CSL '99, Madrid, Spain, September 2025, 1999 ; proceedings
(
Book
)
1 edition published in 1999 in English and held by 3 WorldCat member libraries worldwide
Hanf numbers and wellordering numbers
by Jörg Flum
(
Book
)
2 editions published in 1972 in German and held by 3 WorldCat member libraries worldwide
Model checking problems as a basis for parameterized intractability
by Jörg Flum
(
Book
)
1 edition published in 2003 in English and held by 3 WorldCat member libraries worldwide
Endliche Modelltheorie : 27.3. bis 2.4.1994
(
Book
)
1 edition published in 1994 in English and held by 2 WorldCat member libraries worldwide
Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 2025, 1999 : procedings
by Workshop on Computer Science Logic
(
Book
)
1 edition published in 1999 in English and held by 2 WorldCat member libraries worldwide
Fixedparameter tractability and logic
by Jörg Flum
(
Book
)
1 edition published in 1999 in English and held by 1 WorldCat member library worldwide
Games and partial datalog queries
by Jörg Flum
(
Book
)
1 edition published in 1997 in English and held by 1 WorldCat member library worldwide more
fewer
Audience Level
Related Identities
Associated Subjects

Alternative Names
Flum, J.
Flum, J. 1944
Flum, J. (Jörg)
Flum, Jörg
Languages
Covers
