WorldCat Identities

Flum, Jörg

Overview
Works: 24 works in 236 publications in 4 languages and 5,662 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Other, Director
Classifications: QA9, 511.3
Publication Timeline
.
Most widely held works by Jörg Flum
Mathematical logic by Heinz-Dieter Ebbinghaus( Book )

71 editions published between 1974 and 2008 in 3 languages and held by 1,172 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
Finite model theory by Heinz-Dieter Ebbinghaus( Book )

48 editions published between 1995 and 2006 in 3 languages and held by 570 WorldCat member libraries worldwide

"The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in this context include fixed-point logics, transitive closure logics, and also certain infinitary languages; their model theory is studied in full detail. Other topics include DATALOG languages, quantifiers and oracles, 0-1 laws, and optimization and approximation problems. The book is written in such a way that the respective parts on model theory and descriptive complexity theory may be read independently. This second edition is a thoroughly revised and enlarged version of the original text. Book jacket."--BOOK JACKET
Topological model theory by Jörg Flum( Book )

18 editions published in 1980 in 3 languages and held by 401 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 by G Gottlob( Book )

32 editions published in 1999 in English and Undetermined and held by 274 WorldCat member libraries worldwide

This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Computer Science Logic, CSL '98, held as the Annual Conference of the European Association on Computer Science Logic in Brno, Czech Republic in August 1998. The 25 revised full papers presented were carefully reviewed and selected during two rounds of reviewing and revision. Also included are three reviewed invited papers. The papers span the whole scope of computer science logic and mathematical foundations and represent the state of the art in the area
Parameterized complexity theory by Jörg Flum( Book )

26 editions published between 2006 and 2011 in English and German and held by 236 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
Logic and automata : history and perspectives by Jörg Flum( Book )

17 editions published between 2007 and 2008 in English and Undetermined and held by 98 WorldCat member libraries worldwide

Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of Logic and Automata take the occasion of the sixtieth birthday of Wolfgang Thomas to present a tour d'horizon of automata theory and logic. The twenty papers in this volume cover many different facets of logic and automata theory, emphasizing the connections to other disciplines such as games, algorithms, and semigroup theory, as well as discussing current challenges in the field
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

Endliche Modelltheorie : 27.3. bis 2.4.1994( Book )

2 editions published in 1994 in English and held by 3 WorldCat member libraries worldwide

Mathematical Logic by Heinz-Dieter Ebbinghaus( )

1 edition published in 1994 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

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

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

Lt - Equivalencia by Juan Carlos Martínez Alonso( Book )

2 editions published between 1983 and 1984 in Spanish and held by 2 WorldCat member libraries worldwide

Algebra y lógica by Jörg Flum( Book )

1 edition published in 1976 in Spanish 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

Analisis no standard by Jörg Flum( Book )

1 edition published in 1976 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

A remark on infinitary languages by Jörg Flum( )

2 editions published between 1971 and 2008 in English and held by 0 WorldCat member libraries worldwide

L(Q)-preservation theorems by Jörg Flum( )

2 editions published between 1975 and 2008 in English and held by 0 WorldCat member libraries worldwide

Topological Model Theory by Jörg Flum( )

1 edition published in 1980 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.62 (from 0.03 for Logic and ... to 0.97 for Games and ...)

Mathematical logic
Alternative Names
Flum, J.

Flum, J. 1944-

Flum, J. (Jörg)

Flum, Jörg

Languages
English (181)

German (39)

Spanish (3)

Polish (1)

Covers
Finite model theoryTopological model theoryComputer science logic : 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedingsParameterized complexity theoryLogic and automata : history and perspectives