|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
3 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | λCalculi with Explicit Substitutions Preserving Strong Normalization |
Ferreira, Maria C. F. |
1999 |
9 | 4 |
p. 333-371 |
artikel |
|
| 2 | Gröbner Bases for Ideals in Laurent Polynomial Rings and their Application to Systems of Difference Equations |
Pauer, Franz |
1999 |
9 | 4 |
p. 271-291 |
artikel |
|
| 3 | Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case |
Dovier, Agostino |
1999 |
9 | 4 |
p. 293-332 |
artikel |
3 gevonden resultaten