WorldCat Identities

Thomas, Wolfgang 1947-

Overview
Works: 129 works in 323 publications in 2 languages and 3,884 library holdings
Genres: Conference proceedings 
Roles: Editor, Other, Creator
Classifications: QA75.5, 004
Publication Timeline
Key
Publications about  Wolfgang Thomas Publications about Wolfgang Thomas
Publications by  Wolfgang Thomas Publications by Wolfgang Thomas
Most widely held works by Wolfgang Thomas
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
STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006 : proceedings by Bruno Durand ( )
21 editions published in 2006 in English and held by 534 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 ( )
15 editions published in 2007 in English and held by 507 WorldCat member libraries worldwide
Automata, logics, and infinite games by Erich Grädel ( Book )
20 editions published in 2002 in English and held by 348 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
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
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 )
14 editions published in 1999 in English and held by 275 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
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 )
13 editions published in 1998 in English and held by 269 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
Performance Marketing - Erfolgsbasiertes Online-Marketing Mehr Umsatz im Internet mit Suchmaschinen, Bannern, E-Mails & Co ( )
2 editions published in 2009 in German and held by 74 WorldCat member libraries worldwide
Developments in language theory : foundations, applications, and perspectives : Aachen, Germany, 6-9 July 1999 ( )
2 editions published in 2000 in English and held by 73 WorldCat member libraries worldwide
Automata, languages and programming 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 ; proceedings by Susanne Albers ( )
6 editions published in 2009 in English and held by 50 WorldCat member libraries worldwide
Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II by Susanne Albers ( )
5 editions published in 2009 in English and held by 43 WorldCat member libraries worldwide
Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II by E Börger ( )
4 editions published in 1984 in English and held by 42 WorldCat member libraries worldwide
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 International Conference Foundations of Software Science and Computation Structures ( Book )
5 editions published in 1999 in English and held by 38 WorldCat member libraries worldwide
Ermittlung des Nutzflächenbedarfs im Rahmen der Hochschulentwicklungs- und Hochschulgesamtplanung ( Book )
1 edition published in 1973 in German and held by 29 WorldCat member libraries worldwide
Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : proceedings by Workshop on Computer Science Logic ( Book )
2 editions published in 1998 in English and held by 26 WorldCat member libraries worldwide
Entwicklung eines Immissionsmesssystems für PCA, Chlorkohlenwasserstoffe und Spurenmetalle mittels epiphytischer Moose, angewandt auf den Raum Bayern by Wolfgang Thomas ( Book )
2 editions published in 1981 in German and held by 24 WorldCat member libraries worldwide
Maschinenphysikalische Grundlagen patronenbetriebener trägheitsverriegelter Pressen zur Hochgeschwindigkeitsformung by Wolfgang Thomas ( Book )
7 editions published between 1971 and 1972 in German and Undetermined and held by 23 WorldCat member libraries worldwide
Synthesis and planning 05241 abstracts collection ; Dagstuhl seminar ( )
2 editions published in 2006 in English and held by 17 WorldCat member libraries worldwide
Das Entscheidungsproblem fuer einige Erweiterungen der Nachfolger-Arithmetik by Wolfgang Thomas ( Book )
5 editions published in 1975 in German and Undetermined and held by 17 WorldCat member libraries worldwide
Synthesis and planning Dagstuhl seminar 05241 ; June 12-17, 2005 ; executive summary ( )
2 editions published in 2006 in English and held by 17 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.71 (from 0.35 for Synthesis ... to 0.93 for Computer s ...)
Alternative Names
Thomas, W.
Thomas, W. 1947-
Thomas, W. (Wolfgang), 1947-
Languages
English (142)
German (36)
Covers