| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 2012 |
| Sprache | Englisch |
| Identifikator | ISSN: 1529-3785 KITopen-ID: 1000035979 |
| Erschienen in | ACM Transactions on Computational Logic |
| Verlag | Association for Computing Machinery (ACM) |
| Band | 14 |
| Heft | 1 |
| Seiten | 1-36 |
| Nachgewiesen in | Web of Science OpenAlex Scopus Dimensions |
| Relationen in KITopen |