|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Algebraic proof theory for substructural logics: Cut-elimination and completions |
Ciabattoni, Agata |
2012 |
163 | 3 |
p. 266-290 25 p. |
artikel |
|
| 2 | Algorithmic correspondence and canonicity for distributive modal logic |
Conradie, Willem |
2012 |
163 | 3 |
p. 338-376 39 p. |
artikel |
|
| 3 | Characterizing strong randomness via Martin-Löf randomness |
Yu, Liang |
2012 |
163 | 3 |
p. 214-224 11 p. |
artikel |
|
| 4 | Coding true arithmetic in the Medvedev degrees of Π 1 0 classes |
Shafer, Paul |
2012 |
163 | 3 |
p. 321-337 17 p. |
artikel |
|
| 5 | Cofinal types of ultrafilters |
Raghavan, Dilip |
2012 |
163 | 3 |
p. 185-199 15 p. |
artikel |
|
| 6 | Expressive power of digraph solvability |
Bezem, Marc |
2012 |
163 | 3 |
p. 200-213 14 p. |
artikel |
|
| 7 | Linear orderings and powers of characterizable cardinals |
Souldatos, Ioannis |
2012 |
163 | 3 |
p. 225-237 13 p. |
artikel |
|
| 8 | Low upper bounds in the LR degrees |
Diamondstone, David |
2012 |
163 | 3 |
p. 314-320 7 p. |
artikel |
|
| 9 | Prefixed tableaus and nested sequents |
Fitting, Melvin |
2012 |
163 | 3 |
p. 291-313 23 p. |
artikel |
|
| 10 | Separating the basic logics of the basic recurrences |
Japaridze, Giorgi |
2012 |
163 | 3 |
p. 377-389 13 p. |
artikel |
|
| 11 | Visible acyclic differential nets, Part I: Semantics |
Pagani, Michele |
2012 |
163 | 3 |
p. 238-265 28 p. |
artikel |
11 gevonden resultaten