| Original language | English |
|---|---|
| Pages (from-to) | 663-681 |
| Number of pages | 19 |
| Journal | The Review of Symbolic Logic |
| DOIs | |
| Publication status | Published - 2017 |
Fields of science
- 101 Mathematics
- 101013 Mathematical logic
- 101024 Probability theory
- 102001 Artificial intelligence
- 102003 Image processing
- 102019 Machine learning
- 603109 Logic
- 202027 Mechatronics
JKU Focus areas
- Computation in Informatics and Mathematics
- Mechatronics and Information Processing
- Nano-, Bio- and Polymer-Systems: From Structure to Function