WorldCat Identities

Thomas, Wolfgang 1947-

Overview
Works: 125 works in 399 publications in 2 languages and 4,489 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Other, Creator, Contributor
Classifications: QA9, 511.3
Publication Timeline
.
Most widely held works by Wolfgang Thomas
Mathematical logic by Heinz-Dieter Ebbinghaus( Book )

38 editions published between 1974 and 2008 in 3 languages and held by 821 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 355 WorldCat member libraries worldwide

Theory of Computation -- Mathematical Logic and Formal Languages
Automata, logics, and infinite games by Erich Grädel( Book )

22 editions published in 2002 in English and held by 279 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
Foundations of software science and computation structures : First International Conference, FoSSaCS '98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings by M Nivat( Book )

25 editions published between 1998 and 1999 in English and held by 266 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 )

15 editions published in 1998 in English and held by 243 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 Bruno Durand( Book )

22 editions published between 2006 and 2007 in English and held by 155 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 )

18 editions published in 2007 in English and held by 132 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 )

5 editions published in 2000 in English and held by 68 WorldCat member libraries worldwide

3 UP-composition4 Decidability; 5 Concluding remarks; Acknowledgment; References; RESTARTING AUTOMATA, CHURCH-ROSSER LANGUAGES, AND REPRESENTATIONS OF R.E. LANGUAGES; 1 Introduction; 2 Preliminaries; 3 Restarting automata and CRL; 4 CRCL and the r.e. languages; 5 Conclusion; References; WEAK CYCLIC FORMS OF RW-AUTOMATA; 1 Introduction; 2 Definitions and basic properties; 3 Results; 4 Concluding remark; Acknowledgments; References; EXPONENTIAL AMBIGUITY OF CONTEXT-FREE GRAMMARS; 1 Introduction; 2 Preliminaries; 3 Criterion Gexp is sufficient for exponential ambiguity
Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II by E Börger( )

5 editions published in 1984 in English and Undetermined and held by 65 WorldCat member libraries worldwide

Automata, languages, and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings by Luca Aceto( )

21 editions published in 2009 in English and held by 62 WorldCat member libraries worldwide

Annotation
Ermittlung des Nutzflächenbedarfs im Rahmen der Hochschulentwicklungs- und Hochschulgesamtplanung( Book )

1 edition published in 1973 in German and held by 45 WorldCat member libraries worldwide

Flexible Schadenszurechnung im Staatshaftungsrecht, dargestellt am Beispiel des Mitverschuldens by Wolfgang Thomas( Book )

5 editions published in 1977 in German and held by 42 WorldCat member libraries worldwide

In-game advertising - Werbung in Computerspielen : Strategien und Konzepte by Wolfgang Thomas( Book )

5 editions published in 2007 in German and held by 40 WorldCat member libraries worldwide

Werbung in Computerspielen - In-Game Advertising genannt - ist ein viel versprechender Ansatz für die gebeutelte Werbebranche. Denn Spieler zappen nicht. Aktive Spieler finden sich nicht nur unter Kindern und Jugendlichen, sondern zunehmend auch unter den 20- bis 40-Jährigen. Für Werbetreibende eröffnet sich in der gesamten Bandbreite der On- und Offline-Spiele und sogar in virtuellen Welten wie Second Life ein völlig neuer Zugang zum Konsumenten. Die Autoren - beide erfahrene Experten für Online-Marketing und In-Game Advertising - zeigen erstmals, wie dieses neue Werbemedium funktioniert und welchen Regeln es unterliegt. Denn das geänderte Mediennutzungsverhalten, die immer hochwertigere Grafik sowie die immer stärkere Vernetzung mit Online-Medien führen zu völlig neuen Möglichkeiten der Nutzung von Computerspielen als Werbeträger. Sie erfahren, welche Zielgruppen bereits heute in relevanten Größenordnungen erreicht werden können, wie Sie In-Game Advertising in Ihre Mediaplanung einbeziehen und wie Sie es in den Media-Mix integrieren und es crossmedial nutzen. Beispiele von ersten Kampagnen internationaler Markenartikler - unter anderem von H&M, Burger King und Volkswagen - illustrieren anschaulich, wie diese neue Werbeform in der Praxis eingesetzt wird. Mit Website zum Buch unter www.in-game-advertising.de. Ein wertvoller Leitfaden für Marketer, Mediaplaner und Game-Publisher, die sich einen Informationsvorsprung zu Werbung in Computerspielen sichern wollen!
Zur lokalen Epidemiologie multiresistenter biofilmbildender Staphylococcus epidermidis Stämme bei sehr kleinen Frühgeborenen und ihren Müttern by Eva Gellichsheimer( )

2 editions published in 2013 in German and held by 39 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 )

3 editions published in 1981 in German and held by 37 WorldCat member libraries worldwide

Maschinenphysikalische Grundlagen patronenbetriebener trägheitsverriegelter Pressen zur Hochgeschwindigkeitsformung by Wolfgang Thomas( Book )

9 editions published between 1971 and 1972 in German and Undetermined and held by 29 WorldCat member libraries worldwide

Zschopautal by Wolfgang Thomas( Book )

4 editions published in 1989 in German and held by 24 WorldCat member libraries worldwide

Über Zerlegungen von Drehungen des 5-dimensionalen Raumes by Wolfgang Thomas( Book )

4 editions published in 1980 in German and Undetermined and held by 24 WorldCat member libraries worldwide

Lehrbuch der Chemie : für die Sekundarstufe 1 by Wolfgang Thomas( Book )

4 editions published between 1975 and 1989 in German and held by 10 WorldCat member libraries worldwide

Performance Marketing - erfolgsbasiertes Online-Marketing : mehr Umsatz im Internet mit Suchmaschinen, Bannern, E-Mails & Co.( Book )

3 editions published in 2009 in German 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.71 (from 0.52 for STACS 2007 ... to 0.94 for Lehrbuch d ...)

Mathematical logic
Alternative Names
Thomas, W.

Thomas, W. 1947-

Thomas, W. (Wolfgang), 1947-

Languages
English (167)

German (68)

Covers
Einführung in die mathematische LogikAutomata, logics, and infinite gamesFoundations of software science and computation structures : First International Conference, FoSSaCS '98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedingsComputer 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 IIAutomata, languages, and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings