Thomas, Wolfgang, 1947-....
Thomas, Wolfgang
Wolfgang Thomas chercheur en informatique
VIAF ID: 24669221 ( Personal )
Permalink: http://viaf.org/viaf/24669221
Preferred Forms
- 200 _ | ‡a Thomas ‡b Wolfgang
- 100 1 _ ‡a Thomas, Wolfgang
-
-
- 100 1 _ ‡a Thomas, Wolfgang ‡d 1947-
-
-
-
-
- 100 1 0 ‡a Thomas, Wolfgang, ‡d 1947-
-
- 100 1 _ ‡a Thomas, Wolfgang, ‡d 1947-....
- 100 0 _ ‡a Wolfgang Thomas ‡c chercheur en informatique
4xx's: Alternate Name Forms (6)
5xx's: Related Names (6)
- 510 2 _ ‡a Christian-Albrechts-Universität zu Kiel ‡b Institut für Informatik und Praktische Mathematik ‡4 affi ‡4 http://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Freiburg (Breisgau), Univ
- 551 _ _ ‡a Naumburg (Saale) ‡4 ortg ‡4 http://d-nb.info/standards/elementset/gnd#placeOfBirth
- 510 2 _ ‡a RWTH Aachen ‡4 affi ‡4 http://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Technische Hochschule Aachen
- 510 2 _ ‡a Theorietag Automaten und Formale Sprachen 2, 1992, Kiel
Works
Title | Sources |
---|---|
Automata and Quantifier hierarchies | |
Automata logics, and infinite games : a guide to current research | |
Automata on infinite objects | |
Automates distribués et logiques. | |
Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II | |
Computer science logic 11th International workshop, CSL'97 annual conference of the EACSL Aarhus, Denmark, August 23-29, 1997 selected papers | |
Decidable properties of tree languages | |
Developments in language theory : foundations, applications, and perspectives : Aachen, Germany, 6-9 July 1999 | |
Developments in language theory fourth international conference ; preproceedings | |
Einführung in die mathematische Logik | |
Entscheidungsproblem für einige Erweiterungen der Nachfolger-Arithmetik | |
Flexible Schadenszurechnung im Staatshaftungsrecht, dargestellt am Beispiel des Mitverschuldens | |
FOSSACS '99 | |
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 | |
Jeux aléatoires. | |
Kürsch. Gel.-Kal., 1987: | |
Labour perspectives on South Africa : proceedings of a Workshop on Organised Labour in South African Society | |
Logic and automata : history and perspectives | |
Maschinenphysikalische Grundlagen patronenbetriebener trägheitsverriegelter Pressen zur Hochgeschwindigkeitsformung | |
Mathematical logic | |
Neue Aspekte in Rabins Theorie der Baumautomaten Vortrag zum Fraenkel-Kolloquium Christian-Albrechts-Universität zu Kiel, 25.5.1991 | |
On logics, tillings, and automata | |
Proceedings of the Workshop "Logics and Recognizable Sets" Dersau, Germany, October 8 - 10, 1990 | |
Random Games | |
Relationen endlicher Valenz über der Ordnung der natürlichen Zahlen | |
Relativized star free expressions, first order logic, and a concatenation game | |
Rozstrzygalne własności języków drzew | |
Safety- and liveness-properties in propositional temporal logic: characterizations and decidability | |
Singleton Acceptance Conditions in omega-Automata | |
STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007 : proceedings | |
Tree languages recognizable by regular frontier check | |
Unterschungen über atmosphärenbürtige Schadstoffe in der Ökosphäre Islands | |
Zweiter Theorietag Automaten und Formale Sprachen |