 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen  [2]
|
Hilfe 
|
 |
|
| Suche: Author="Kreutzer, S." |
|
Generalising automaticity to modal properties of finite structures
A. Dawar, S. Kreutzer
Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2002 (Kanpur, India, December 12-14, 2002)
Lecture Notes in Computer Science
2556
, 2002, pp. 109-120
| Editors | Manindra Agrawal, Anil Seth | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo | |
| URL: |
http://www.springerlink.com/content/hxr2r5nr8t41qabq | |
|
|
|
|