| Originalsprache | Englisch |
|---|---|
| Seiten (von - bis) | 217-237 |
| Seitenumfang | 21 |
| Fachzeitschrift | Journal of Symbolic Computation |
| Volume | 95 |
| Ausgabenummer | 10 |
| DOIs | |
| Publikationsstatus | Veröffentlicht - Nov. 2019 |
Wissenschaftszweige
- 101 Mathematik
- 101001 Algebra
- 101005 Computeralgebra
- 101013 Mathematische Logik
- 102031 Theoretische Informatik
JKU-Schwerpunkte
- Digital Transformation
Dieses zitieren
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver