| Zugehörige Institution(en) am KIT | Sonderforschungsbereich 1173 (SFB 1173) |
| Publikationstyp | Forschungsbericht/Preprint |
| Publikationsjahr | 2018 |
| Sprache | Englisch |
| Identifikator | ISSN: 2365-662X urn:nbn:de:swb:90-882858 KITopen-ID: 1000088285 |
| Verlag | Karlsruher Institut für Technologie (KIT) |
| Umfang | 25 S. |
| Serie | CRC 1173 ; 2018/41 |
| Projektinformation | SFB 1173, 258734477 (DFG, DFG KOORD, SFB 1173/1 2015) |
| Schlagwörter | counter example, no approximation, TWI, new proof |