Wolfgang Thomas

6 published titles

Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers

(Contributor)

1 edition

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,

(Contributor)

1 edition

Developments in language theory : foundations, applications, and perspectives : Aachen, Germany, 6-9 July 1999

(Contributor)

1 edition

Automata, logics, and infinite games : a guide to current research

(Contributor)

1 edition

STACS 2006 : 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006 ; proceedings

(Contributor)

1 edition

STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007 : proceedings

(Contributor)

1 edition