WorldCat Identities

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 Heinz-Dieter 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 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
Einführung in die mathematische Logik by Heinz-Dieter 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
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 22-28, 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
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 ever-lasting 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 two-person games. The 19 chapters presented in this multi-author 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 23-29, 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 post-workshop 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 23-25, 2006 : proceedings by B Durand( Book )

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 22-24, 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
Developments in language theory : foundations, applications, and perspectives : Aachen, Germany, 6-9 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 3-SAT 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 non-transitive transducers; References
Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 Part II by E Börger( )

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 5-12, 2009, Proceedings, Part I by Luca Aceto( )

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

Das Entscheidungsproblem für einige Erweiterungen der Nachfolger-Arithmetik by Wolfgang Thomas( )

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

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. 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

Neue Aspekte in Rabins Theorie der Baumautomaten : Vortrag zum Fraenkel-Kolloquium, Christian-Albrechts-Universitä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

Singleton acceptance conditions in omega-automata by Barbara Leoniuk( Book )

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

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

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

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.70 (from 0.49 for Automata, ... to 0.95 for Singleton ...)

Mathematical logic
Alternative Names
Thomas, W.

Thomas, W. 1947-

Thomas, W. (Wolfgang), 1947-

Languages
English (169)

German (51)

Covers
Einführung in die mathematische LogikFoundations 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 22-28, 1999 : proceedingsAutomata, logics, and infinite gamesComputer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papersSTACS 2006 : 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006 : proceedingsSTACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007 : proceedingsDevelopments in language theory : foundations, applications, and perspectives : Aachen, Germany, 6-9 July 1999Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 Part II