|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A descending chain condition for groups definable in o -minimal structures |
Berarducci, Alessandro |
2005 |
134 | 2-3 |
p. 303-313 11 p. |
artikel |
|
| 2 | Author Index |
2005 |
134 | 2-3 |
p. 315-316 2 p. |
artikel |
||
| 3 | Editorial Board |
2005 |
134 | 2-3 |
p. CO2- 1 p. |
artikel |
||
| 4 | Explicit mathematics: power types and overloading |
Studer, Thomas |
2005 |
134 | 2-3 |
p. 284-302 19 p. |
artikel |
|
| 5 | Free abelian lattice-ordered groups |
Glass, A.M.W. |
2005 |
134 | 2-3 |
p. 265-283 19 p. |
artikel |
|
| 6 | Inductive types and exact completion |
van den Berg, Benno |
2005 |
134 | 2-3 |
p. 95-121 27 p. |
artikel |
|
| 7 | Linear realizability and full completeness for typed lambda-calculi |
Abramsky, Samson |
2005 |
134 | 2-3 |
p. 122-168 47 p. |
artikel |
|
| 8 | Polarized and focalized linear and classical proofs |
Laurent, Olivier |
2005 |
134 | 2-3 |
p. 217-264 48 p. |
artikel |
|
| 9 | Subgroups of the additive group of a separably closed field |
Blossier, Thomas |
2005 |
134 | 2-3 |
p. 169-216 48 p. |
artikel |
9 gevonden resultaten