Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsjahr | 2011 |
Sprache | Englisch |
Identifikator | ISSN: 0129-0541 KITopen-ID: 1000025354 |
Erschienen in | International Journal of Foundations of Computer Science (IJFCS) |
Verlag | World Scientific Publishing |
Band | 22 |
Heft | 4 |
Seiten | 945-969 |
Nachgewiesen in | Scopus Web of Science |