Papers on weak first-order theories and decidability problems
Juvenal Murwanashyaka
Bok Engelsk 2023 · Doktoravhandlinger
| Omfang | xii, 268 sider : figurer
|
|---|---|
| Opplysninger | Delvis opptrykk av artikler. - Avhandling (ph.d.) - Universitetet i Oslo, 2023
|
| Emner | |
| Sjanger | Doktoravhandlinger : (uri)https://id.nb.no/vocabulary/ntsf/61. - Doktoravhandlinger((uri)https://id.nb.no/vocabulary/ntsf/61)
|
| Dewey |
