|
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 | A generalization of von Neumann regularity |
Sureson, Claude |
2005 |
135 | 1-3 |
p. 210-242 33 p. |
artikel |
|
| 2 | Alternating automata and temporal logic normal forms |
Dixon, Clare |
2005 |
135 | 1-3 |
p. 263-285 23 p. |
artikel |
|
| 3 | Author Index |
2005 |
135 | 1-3 |
p. 303- 1 p. |
artikel |
||
| 4 | Bounded functional interpretation |
Ferreira, Fernando |
2005 |
135 | 1-3 |
p. 73-112 40 p. |
artikel |
|
| 5 | Constructive completions of ordered sets, groups and fields |
Palmgren, Erik |
2005 |
135 | 1-3 |
p. 243-262 20 p. |
artikel |
|
| 6 | Editorial Board |
2005 |
135 | 1-3 |
p. ii- 1 p. |
artikel |
||
| 7 | Geometric axioms for existentially closed Hasse fields |
Kowalski, Piotr |
2005 |
135 | 1-3 |
p. 286-302 17 p. |
artikel |
|
| 8 | Tableaux for constructive concurrent dynamic logic |
Wijesekera, Duminda |
2005 |
135 | 1-3 |
p. 1-72 72 p. |
artikel |
|
| 9 | The elementary theory of Dedekind cuts in polynomially bounded structures |
Tressl, Marcus |
2005 |
135 | 1-3 |
p. 113-134 22 p. |
artikel |
|
| 10 | Two simple sets that are not positively Borel |
Veldman, Wim |
2005 |
135 | 1-3 |
p. 151-209 59 p. |
artikel |
|
| 11 | Upper and lower Ramsey bounds in bounded arithmetic |
Ojakian, Kerry |
2005 |
135 | 1-3 |
p. 135-150 16 p. |
artikel |
11 gevonden resultaten