032002025
1992-12-24
2022-04-07T16:25:47
Mathematical logic / H. D. Ebbinghaus, J. Flum, W. Thomas, 1984
Internet, https://www.lii.rwth-aachen.de/en/, 2018-10-08 : Professeur dans le domaine de la logique et théorie des systèmes discrets, RWTH Aachen en 2018
12311389
0000000108796988
male
Thomas, Wolfgang (1947-....)
Thomas
Wolfgang
Wolfgang Thomas
1947
Informaticien. En poste au Lehrstuhl für Informatik II, RWTH Aachen, RFA (en 1984). Professeur dans le domaine de la logique et théorie des systèmes discrets, RWTH Aachen en 2018
Labour perspectives on South Africa : proceedings of a Workshop on Organised Labour in South African Society / edited by Wolfgang H. Thomas in association with the Centre for Intergroup Studies / Cape Town : D. Philip , 1974
Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II / edited by M.M. Richter, E. Börger, W. Oberschelp... [et al.] / Berlin [etc.] : Springer
Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II / edited by M.M. Richter, E. Börger, W. Oberschelp... [et al.] / Berlin [etc.] : Springer-Verlag , 1984
Developments in language theory : foundations, applications and perspectives / Fourth international conference ..., Aachen, Germany, 6-9 July 1999 ; ed. G. Rozenberg, W. Thomas / Singapore : World scientific , 2000
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 Netherland, March 22-28 1999 : proceedings / Wolfgang Thomas (ed.) / Berlin : Springer
Computer science logic : 11th international workshop, CSL '97 : [6th] annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : procedings / [edited by] Mogens Nielsen, Wolfgang Thomas / Berlin [etc.] : Springer
STACS 2006 : 23rd annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006 : proceedings / editors, Bruno Durand, Wolfgang Thomas / Berlin : Springer , cop. 2006
STACS 2007 : 24th annual symposium on theoretical aspects of computer science, Aachen, Germany, February 22-24, 2007 : proceedings / Wolfgang Thomas, Pascal Weil (Eds.) / Berlin : Springer , cop. 2007
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 / [edited by] Wolfgang Thomas / Berlin [etc.] : Springer
Automata, logics, and infinite games / Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.) / Berlin [etc.] : Springer
Computer science logic : 11th international workshop, CSL '97 : [6th] annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : procedings / Mogens Nielsen, Wolfgang Thomas (eds.) / New York : Springer
Distributed automata and logic / Fabian Reiter le 2017 [ Sorbonne Paris Cité ]
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas / New York : Springer-Verlag
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas / 2nd edition / New York : Springer
Mathematical logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas / Third edition / Cham, Switzerland : Springer
Flexible Schadenszurechnung im Staatshaftungsrecht, dargestellt am Beispiel des Mitverschuldens / Wolfgang Thomas / Bonn : [s.n.] , 1977
Random Games / Florian Horn ; sous la direction de Anca Muscholl et Wolfgang Thomas / [S.l.] : [s.n.] , 2008
Random Games / Florian Horn ; sous la direction de Anca Muscholl et Wolfgang Thomas / Lille : Atelier national de reproduction des thèses , 2008
Random Games / Florian Horn le 2008 [ Paris 7 ]
Distributed automata and logic / Fabian Reiter ; sous la direction de Olivier Carton / , 2017
Distributed automata and logic / Fabian Reiter le 2017 [ Sorbonne Paris Cité ]
Automata, logics, and infinite games / Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.) / Berlin : Springer