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
HeinzDieter 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 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
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 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 355 WorldCat member libraries worldwide
Theory of Computation  Mathematical Logic and Formal Languages
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 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 279 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
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 28April 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
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 2329,
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 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 243 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
Bruno Durand(
Book
)
22 editions published between 2006 and 2007 in English and held by 155 WorldCat member libraries worldwide
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 2224, 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
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, 69 July 1999 by
Grzegorz Rozenberg(
Book
)
5 editions published in 2000 in English and held by 68 WorldCat member libraries worldwide
3 UPcomposition4 Decidability; 5 Concluding remarks; Acknowledgment; References; RESTARTING AUTOMATA, CHURCHROSSER 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 RWAUTOMATA; 1 Introduction; 2 Definitions and basic properties; 3 Results; 4 Concluding remark; Acknowledgments; References; EXPONENTIAL AMBIGUITY OF CONTEXTFREE GRAMMARS; 1 Introduction; 2 Preliminaries; 3 Criterion Gexp is sufficient for exponential ambiguity
5 editions published in 2000 in English and held by 68 WorldCat member libraries worldwide
3 UPcomposition4 Decidability; 5 Concluding remarks; Acknowledgment; References; RESTARTING AUTOMATA, CHURCHROSSER 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 RWAUTOMATA; 1 Introduction; 2 Definitions and basic properties; 3 Results; 4 Concluding remark; Acknowledgments; References; EXPONENTIAL AMBIGUITY OF CONTEXTFREE 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 1823, 1983, part II by
E Börger(
)
5 editions published in 1984 in English and Undetermined and held by 65 WorldCat member libraries worldwide
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 711, 1997 : proceedings by
Luca Aceto(
)
21 editions published in 2009 in English and held by 62 WorldCat member libraries worldwide
Annotation
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
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
5 editions published in 1977 in German and held by 42 WorldCat member libraries worldwide
Ingame 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  InGame 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 40Jährigen. Für Werbetreibende eröffnet sich in der gesamten Bandbreite der On und OfflineSpiele und sogar in virtuellen Welten wie Second Life ein völlig neuer Zugang zum Konsumenten. Die Autoren  beide erfahrene Experten für OnlineMarketing und InGame 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 OnlineMedien 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 InGame Advertising in Ihre Mediaplanung einbeziehen und wie Sie es in den MediaMix 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.ingameadvertising.de. Ein wertvoller Leitfaden für Marketer, Mediaplaner und GamePublisher, die sich einen Informationsvorsprung zu Werbung in Computerspielen sichern wollen!
5 editions published in 2007 in German and held by 40 WorldCat member libraries worldwide
Werbung in Computerspielen  InGame 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 40Jährigen. Für Werbetreibende eröffnet sich in der gesamten Bandbreite der On und OfflineSpiele und sogar in virtuellen Welten wie Second Life ein völlig neuer Zugang zum Konsumenten. Die Autoren  beide erfahrene Experten für OnlineMarketing und InGame 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 OnlineMedien 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 InGame Advertising in Ihre Mediaplanung einbeziehen und wie Sie es in den MediaMix 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.ingameadvertising.de. Ein wertvoller Leitfaden für Marketer, Mediaplaner und GamePublisher, 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
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
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
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
4 editions published in 1989 in German and held by 24 WorldCat member libraries worldwide
Über Zerlegungen von Drehungen des 5dimensionalen Raumes by
Wolfgang Thomas(
Book
)
4 editions published in 1980 in German and Undetermined and held by 24 WorldCat member libraries worldwide
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
4 editions published between 1975 and 1989 in German and held by 10 WorldCat member libraries worldwide
Performance Marketing  erfolgsbasiertes OnlineMarketing : mehr Umsatz im Internet mit Suchmaschinen, Bannern, EMails &
Co.(
Book
)
3 editions published in 2009 in German and held by 1 WorldCat member library worldwide
3 editions published in 2009 in German and held by 1 WorldCat member library worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Flum, Jörg Other
 Ebbinghaus, HeinzDieter 1939 Author
 Weil, Pascal Editor
 Durand, B. (Bruno)
 Grädel, Erich 1958 Author Editor
 Wilke, Thomas 1965 Editor
 Nielsen, M. (Mogens) 1949 Other Author Editor
 European Association for Computer Science Logic Conference 1997 : Aarhus, Denmark)
 MarchettiSpaccamela, Alberto Other
 Eisinger, Thomas
Associated Subjects
AirPollutionMeasurement Algebraic logic Algorithms Artificial intelligence College buildings Computable functions Computational complexity Computer algorithms Computer logic Computer networks Computer programming Computers Computer science Computer scienceMathematics Computer software Data structures (Computer science) Economics Electronic data processing EpiphytesEffect of air pollution on Formal languages Game theory Information storage and retrieval systems Information theory Internet Logic, Symbolic and mathematical Logic design Machine theory Marketing Mathematics Model theory Predicate calculus Programming languages (Electronic computers) Proof theory Set theory Software engineering System analysis