Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsmonat/-jahr | 06.2018 |
Sprache | Englisch |
Identifikator | ISSN: 0168-7433, 1573-0670 KITopen-ID: 1000083461 |
Erschienen in | Journal of automated reasoning |
Verlag | Springer |
Band | 61 |
Heft | 1-4 |
Seiten | 1–8 |
Vorab online veröffentlicht am | 11.05.2018 |
Nachgewiesen in | Scopus Dimensions Web of Science |