|
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 | An elementary proof of strong normalization for intersection types |
Valentini, Silvio |
2001 |
40 | 7 |
p. 475-488 |
artikel |
|
| 2 | Axiomatization of abelian-by-G groups for a finite group G |
Oger, Francis |
2001 |
40 | 7 |
p. 515-521 |
artikel |
|
| 3 | Natural deduction with general elimination rules |
von Plato, Jan |
2001 |
40 | 7 |
p. 541-567 |
artikel |
|
| 4 | On one-sided versus two-sided classification |
Stephan, Frank |
2001 |
40 | 7 |
p. 489-513 |
artikel |
|
| 5 | On the definability of verbal subgroups |
Point, Françcoise |
2001 |
40 | 7 |
p. 525-529 |
artikel |
|
| 6 | Some remarks on a question of D. H. Fremlin regarding ε-density |
Apter, Arthur W. |
2001 |
40 | 7 |
p. 531-540 |
artikel |
|
| 7 | The class of groups which have a subgroup of index 2 is not elementary |
Coulbois, Thierry |
2001 |
40 | 7 |
p. 523-524 |
artikel |
7 gevonden resultaten