Thomas, Wolfgang 1947
Overview
Works:  34 works in 252 publications in 2 languages and 3,950 library holdings 

Genres:  Conference papers and proceedings 
Roles:  Author, Editor, Other 
Classifications:  QA9, 511.3 
Publication Timeline
.
Most widely held works by
Wolfgang Thomas
Mathematical logic by
HeinzDieter Ebbinghaus(
Book
)
39 editions published between 1974 and 2008 in 3 languages and held by 818 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
39 editions published between 1974 and 2008 in 3 languages and held by 818 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
Einführung in die mathematische Logik by
HeinzDieter Ebbinghaus(
Book
)
32 editions published between 1978 and 2007 in German and held by 354 WorldCat member libraries worldwide
Theory of Computation  Mathematical Logic and Formal Languages
32 editions published between 1978 and 2007 in German and held by 354 WorldCat member libraries worldwide
Theory of Computation  Mathematical Logic and Formal Languages
Foundations of software science and computation structures : Second International Conference, FOSSACS '99 held as part of
the joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 2228, 1999
: proceedings by
Wolfgang Thomas(
Book
)
24 editions published in 1999 in English and held by 257 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the Second International Conference on Foundations of Software Science and Computation Structures, FOSSACS '99, held in Amsterdam, The Netherlands in March 1999 as part of ETAPS'99. The 18 revised full papers presented were carefully selected from a total of 40 submissions. Also included are three invited papers. The central issues of the papers are theories and methods which suport the specification, transformation, verification and analysis of programs and software systems
24 editions published in 1999 in English and held by 257 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the Second International Conference on Foundations of Software Science and Computation Structures, FOSSACS '99, held in Amsterdam, The Netherlands in March 1999 as part of ETAPS'99. The 18 revised full papers presented were carefully selected from a total of 40 submissions. Also included are three invited papers. The central issues of the papers are theories and methods which suport the specification, transformation, verification and analysis of programs and software systems
Automata, logics, and infinite games by
Erich Grädel(
Book
)
22 editions published in 2002 in English and held by 248 WorldCat member libraries worldwide
A central aim and everlasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundation is needed especially for the construction of reactive programs, like communication protocols or control systems. For the construction and analysis of reactive systems an elegant and powerful theory has been developed based on automata theory, logical systems for the specification of nonterminating behavior, and infinite twoperson games. The 19 chapters presented in this multiauthor monograph give a consolidated overview of the research results achieved in the theory of automata, logics, and infinite games during the past 10 years. Special emphasis is placed on coherent style, complete coverage of all relevant topics, motivation, examples, justification of constructions, and exercises
22 editions published in 2002 in English and held by 248 WorldCat member libraries worldwide
A central aim and everlasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundation is needed especially for the construction of reactive programs, like communication protocols or control systems. For the construction and analysis of reactive systems an elegant and powerful theory has been developed based on automata theory, logical systems for the specification of nonterminating behavior, and infinite twoperson games. The 19 chapters presented in this multiauthor monograph give a consolidated overview of the research results achieved in the theory of automata, logics, and infinite games during the past 10 years. Special emphasis is placed on coherent style, complete coverage of all relevant topics, motivation, examples, justification of constructions, and exercises
Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 2329,
1997 : selected papers by
M Nielsen(
Book
)
15 editions published in 1998 in English and held by 237 WorldCat member libraries worldwide
This book constitutes the strictly refereed postworkshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997. The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its applications and thus presents the state of the art in the area
15 editions published in 1998 in English and held by 237 WorldCat member libraries worldwide
This book constitutes the strictly refereed postworkshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997. The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its applications and thus presents the state of the art in the area
STACS 2006 : 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 2325, 2006 : proceedings by
B Durand(
Book
)
15 editions published in 2006 in English and held by 132 WorldCat member libraries worldwide
15 editions published in 2006 in English and held by 132 WorldCat member libraries worldwide
STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 2224, 2007 : proceedings by
Wolfgang Thomas(
Book
)
16 editions published in 2007 in English and held by 131 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2007, held in Aachen, Germany in February 2007. The 56 revised full papers presented together with 3 invited papers were carefully reviewed and selected from about 400 submissions. The papers address the whole range of theoretical computer science including algorithms and data structures, automata and formal languages, complexity theory, logic in computer science, semantics, specification, and verification of programs, rewriting and deduction, as well as current challenges like biological computing, quantum computing, and mobile and net computing
16 editions published in 2007 in English and held by 131 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2007, held in Aachen, Germany in February 2007. The 56 revised full papers presented together with 3 invited papers were carefully reviewed and selected from about 400 submissions. The papers address the whole range of theoretical computer science including algorithms and data structures, automata and formal languages, complexity theory, logic in computer science, semantics, specification, and verification of programs, rewriting and deduction, as well as current challenges like biological computing, quantum computing, and mobile and net computing
Developments in language theory : foundations, applications, and perspectives : Aachen, Germany, 69 July 1999 by
Grzegorz Rozenberg(
Book
)
9 editions published between 1999 and 2000 in English and held by 84 WorldCat member libraries worldwide
2.1 HPP Solution by CCC2.2 Solving 3SAT by CCC; 3 A Problem Class for CCC; 4 A Universal Computation Model : YAC; 5 Conclusions; Acknowledgements; References; Contributed Papers; I. Automata and Languages; ASYNCHRONOUS SLIDING BLOCK MAPS; 1 Introduction; 2 Asynchronous maps and transducers; 2.1 Asynchronous and synchronous sliding block maps; 2.2 Transducers; 3 Synchronization of transitive transducers; 3.1 Transmission rate; 3.2 Description of the algorithm; 3.3 Evaluation of the complexity; 4 Synchronization of nontransitive transducers; References
9 editions published between 1999 and 2000 in English and held by 84 WorldCat member libraries worldwide
2.1 HPP Solution by CCC2.2 Solving 3SAT by CCC; 3 A Problem Class for CCC; 4 A Universal Computation Model : YAC; 5 Conclusions; Acknowledgements; References; Contributed Papers; I. Automata and Languages; ASYNCHRONOUS SLIDING BLOCK MAPS; 1 Introduction; 2 Asynchronous maps and transducers; 2.1 Asynchronous and synchronous sliding block maps; 2.2 Transducers; 3 Synchronization of transitive transducers; 3.1 Transmission rate; 3.2 Description of the algorithm; 3.3 Evaluation of the complexity; 4 Synchronization of nontransitive transducers; References
Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 1823, 1983 Part II by
E Börger(
)
2 editions published in 1984 in English and held by 67 WorldCat member libraries worldwide
2 editions published in 1984 in English and held by 67 WorldCat member libraries worldwide
Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 512, 2009, Proceedings,
Part I by
Luca Aceto(
)
19 editions published in 2009 in English and held by 63 WorldCat member libraries worldwide
Annotation
19 editions published in 2009 in English and held by 63 WorldCat member libraries worldwide
Annotation
Unterschungen über atmosphärenbürtige Schadstoffe in der Ökosphäre Islands by
Ekkehard Schunke(
Book
)
5 editions published in 1983 in German and held by 23 WorldCat member libraries worldwide
5 editions published in 1983 in German and held by 23 WorldCat member libraries worldwide
Das Entscheidungsproblem für einige Erweiterungen der NachfolgerArithmetik by
Wolfgang Thomas(
)
5 editions published in 1975 in German and Undetermined and held by 19 WorldCat member libraries worldwide
5 editions published in 1975 in German and Undetermined and held by 19 WorldCat member libraries worldwide
On logics, tillings, and automata by
Wolfgang Thomas(
Book
)
2 editions published in 1991 in German and English and held by 13 WorldCat member libraries worldwide
2 editions published in 1991 in German and English and held by 13 WorldCat member libraries worldwide
Tree languages recognizable by regular frontier check by E Jurvanen(
Book
)
2 editions published in 1993 in German and English and held by 13 WorldCat member libraries worldwide
2 editions published in 1993 in German and English and held by 13 WorldCat member libraries worldwide
2. Theorietag "Automaten und Formale Sprachen" Universität Kiel, 2./3. Oktober 1992 by 1992, Kiel> Theorietag Automaten und Formale Sprachen <2(
Book
)
1 edition published in 1992 in German and held by 13 WorldCat member libraries worldwide
1 edition published in 1992 in German and held by 13 WorldCat member libraries worldwide
Neue Aspekte in Rabins Theorie der Baumautomaten : Vortrag zum FraenkelKolloquium, ChristianAlbrechtsUniversität zu Kiel,
25.5.1991 by
Wolfgang Thomas(
Book
)
4 editions published in 1991 in German and held by 13 WorldCat member libraries worldwide
4 editions published in 1991 in German and held by 13 WorldCat member libraries worldwide
Singleton acceptance conditions in omegaautomata by
Barbara Leoniuk(
Book
)
5 editions published in 1998 in English and held by 12 WorldCat member libraries worldwide
5 editions published in 1998 in English and held by 12 WorldCat member libraries worldwide
Proceedings / STACS 2007 by
2007, Aachen) STACS (24(
)
4 editions published in 2007 in English and held by 12 WorldCat member libraries worldwide
4 editions published in 2007 in English and held by 12 WorldCat member libraries worldwide
Maschinenphysikalische Grundlagen patronenbetriebener trägheitsverriegelter Pressen zur Hochgeschwindigkeitsformung by
Wolfgang Thomas(
Book
)
1 edition published in 1972 in German and held by 11 WorldCat member libraries worldwide
1 edition published in 1972 in German and held by 11 WorldCat member libraries worldwide
Proceedings of the Workshop "Logics and Recognizable Sets" : Dersau, Germany, October 8  10, 1990 by
Workshop Logics and Recognizable Sets(
Book
)
1 edition published in 1991 in German and held by 9 WorldCat member libraries worldwide
1 edition published in 1991 in German and held by 9 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Flum, Jörg Other
 Ebbinghaus, HeinzDieter 1939 Author
 Durand, B. (Bruno) Author Editor
 Weil, Pascal Editor
 Nielsen, M. (Mogens) 1949 Other Author Editor
 Grädel, Erich 1958 Author Editor
 Wilke, Thomas 1965 Editor
 European Association for Computer Science Logic Conference 1997 : Aarhus, Denmark)
 European Association for Computer Science Logic
 MarchettiSpaccamela, Alberto Other
Associated Subjects
AirPollution AirPollutionEnvironmental aspects Algorithms Artificial intelligence Computational complexity Computer algorithms Computer logic Computer networks Computer programming Computers Computer science Computer scienceMathematics Computer software Data structures (Computer science) Electronic data processing Formal languages Game theory HydrocarbonsEnvironmental aspects Iceland Information organization Information storage and retrieval systems Information theory Logic, Symbolic and mathematical Logic design Machine theory Mathematics Mosses Predicate calculus Programming languages (Electronic computers) Software engineering System analysis Trace elementsEnvironmental aspects