WorldCat Identities

Flum, Jörg

Overview
Works: 25 works in 189 publications in 3 languages and 4,735 library holdings
Genres: Conference proceedings 
Roles: Editor
Classifications: QA9.7, 511.3
Publication Timeline
Key
Publications about  Jörg Flum Publications about Jörg Flum
Publications by  Jörg Flum Publications by Jörg Flum
Most widely held works by Jörg Flum
Logic and automata history and perspectives by Jörg Flum ( )
14 editions published between 2007 and 2008 in English and held by 1,105 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 Heinz-Dieter Ebbinghaus ( )
40 editions published between 1995 and 2006 in English and Polish and held by 1,096 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 fixed-point logic, transitive closure logic, and certain infinitary languages
Mathematical logic by Heinz-Dieter Ebbinghaus ( Book )
33 editions published between 1984 and 2008 in 3 languages and held by 787 WorldCat member libraries worldwide
This junior/senior level text is devoted to a study of first-order 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 first-order logic, Goedel's theorem, and model theory. A second part covers extensions of first-order 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 first-order logic
Parameterized complexity theory by Jörg Flum ( )
17 editions published between 2006 and 2011 in English and German and held by 571 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, fixed-parameter tractability, has led to the development of various new algorithmic techniques and a whole new theory of intractability." "This book is a state-of-the-art introduction into both algorithmic techniques for fixed-parameter 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 fixed-parameter tractable algorithms, and bounded fixed-parameter 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 )
17 editions published in 1980 in 3 languages and held by 506 WorldCat member libraries worldwide
Einführung in die mathematische Logik by Heinz-Dieter Ebbinghaus ( Book )
22 editions published between 1978 and 2007 in German and held by 324 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 20-25, 1999 : proceedings by Jörg Flum ( Book )
21 editions published in 1999 in English and held by 289 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, CSL '99, Madrid, Spain, September 20 - 25, 1999 ; 8th annual conference of the EACSL ; proceedings by Workshop on Computer Science Logic ( )
4 editions published in 1999 in English and held by 13 WorldCat member libraries worldwide
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 : selected papers by Workshop on Computer Science Logic ( Book )
3 editions published in 1999 in English and Undetermined and held by 5 WorldCat member libraries worldwide
Bounded fixed parameter tractability and log2 n non-deterministic bits by Jörg Flum ( Book )
2 editions published in 2004 in English and held by 4 WorldCat member libraries worldwide
Ganzgeschlossene und prädikatengeschlossene Logiken by Jörg Flum ( Book )
1 edition published in 1969 in German and held by 4 WorldCat member libraries worldwide
Computer science logic : 13th international workshop, CSL '99, Madrid, Spain, September 20-25, 1999 ; proceedings ( Book )
1 edition published in 1999 in English and held by 3 WorldCat member libraries worldwide
Hanf numbers and well-ordering 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
Endliche Modelltheorie 27.03. bis 02.04.1994 ( Book )
1 edition published in 1994 in English and held by 1 WorldCat member library worldwide
Computer Science Logic : 13th International Workshop, CSL '99 : 8th Annual Conference of the EACSL : Proceedings ( 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
Fixed-parameter tractability and logic by Jörg Flum ( Book )
1 edition published in 1999 in English and held by 1 WorldCat member library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.63 (from 0.00 for Ganzgeschl ... to 0.86 for Computer s ...)
Alternative Names
Flum, J.
Flum, J. 1944-
Flum, J. (Jörg)
Flum, Jörg
Languages
English (152)
German (28)
Polish (1)
Covers