| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
An Abstract Böhm-normalization
|
Glauert, John
|
|
2002
|
70 |
6 |
p. 118-134
17 p.
|
artikel
|
| 2 |
An Operational Semantics for Declarative Multi-Paradigm Languages 1 1 This work has been partially supported by CICYT TIC 2001-2705-C03-01, by the MCYT under grants HA2001-0059, HU2001-0019 and HI2000-0161, and by the DFG under grant Ha 2457/1-2.
|
Albert, Elvira
|
|
2002
|
70 |
6 |
p. 62-83
22 p.
|
artikel
|
| 3 |
Applying ELAN Strategies in Simulating Processors over Simple Architectures
|
Ayala-Rincón, Mauricio
|
|
2002
|
70 |
6 |
p. 84-99
16 p.
|
artikel
|
| 4 |
Approximations for Strategies and Termination
|
Middeldorp, Aart
|
|
2002
|
70 |
6 |
p. 1-20
20 p.
|
artikel
|
| 5 |
Four equivalent equivalences of reductions
|
van Oostrom, Vincent
|
|
2002
|
70 |
6 |
p. 21-61
41 p.
|
artikel
|
| 6 |
Preface
|
Gramlich, Bernhard
|
|
2002
|
70 |
6 |
p. 196-197
2 p.
|
artikel
|
| 7 |
Regular Sets of Descendants by Leftmost Strategy
|
Réty, Pierre
|
|
2002
|
70 |
6 |
p. 176-195
20 p.
|
artikel
|
| 8 |
Strategies for Source-to-Source Constant Propagation
|
Olmos, Karina
|
|
2002
|
70 |
6 |
p. 156-175
20 p.
|
artikel
|
| 9 |
Term Rewriting with Type-safe Traversal Functions
|
van den Brand, M.G.J.
|
|
2002
|
70 |
6 |
p. 100-117
18 p.
|
artikel
|
| 10 |
The Sketch of a Polymorphic Symphony
|
Lämmel, Ralf
|
|
2002
|
70 |
6 |
p. 135-155
21 p.
|
artikel
|
Tijdschrift beschrijving