|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Categorical linearly ordered structures |
Downey, Rod |
2019 |
170 | 10 |
p. 1243-1255 |
artikel |
|
| 2 | Categories of models of R-mingle |
Fussner, Wesley |
2019 |
170 | 10 |
p. 1188-1242 |
artikel |
|
| 3 | Editorial Board |
2019 |
170 | 10 |
p. ii |
artikel |
||
| 4 | Equivalents of the finitary non-deterministic inductive definitions |
Hirata, Ayana |
2019 |
170 | 10 |
p. 1256-1272 |
artikel |
|
| 5 | Fixed point theorems for precomplete numberings |
Barendregt, Henk |
2019 |
170 | 10 |
p. 1151-1161 |
artikel |
|
| 6 | On transformations of constant depth propositional proofs |
Beckmann, Arnold |
2019 |
170 | 10 |
p. 1176-1187 |
artikel |
|
| 7 | When is scalar multiplication decidable? |
Hieronymi, Philipp |
2019 |
170 | 10 |
p. 1162-1175 |
artikel |
7 gevonden resultaten