nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A communication hierarchy of parallel computations
|
Geffert, Viliam |
|
1998 |
198 |
1-2 |
p. 99-130 32 p. |
artikel |
2 |
A fixpoint approach to finite delay and fairness
|
Hartonas, Chrysafis |
|
1998 |
198 |
1-2 |
p. 131-158 28 p. |
artikel |
3 |
An answer to an open problem of Urquhart
|
Egly, Uwe |
|
1998 |
198 |
1-2 |
p. 201-209 9 p. |
artikel |
4 |
A notation for lambda terms a generalization of environments
|
Nadathur, Gopalan |
|
1998 |
198 |
1-2 |
p. 49-98 50 p. |
artikel |
5 |
Author index volume 198 (1998)
|
|
|
1998 |
198 |
1-2 |
p. 249- 1 p. |
artikel |
6 |
Combinatory weak reduction in lambda calculus
|
Çağman, Naim |
|
1998 |
198 |
1-2 |
p. 239-247 9 p. |
artikel |
7 |
Editorial Board
|
|
|
1998 |
198 |
1-2 |
p. vii-viii nvt p. |
artikel |
8 |
Enlargements of functional algebras for the lambda calculus
|
Goldblatt, Robert |
|
1998 |
198 |
1-2 |
p. 177-200 24 p. |
artikel |
9 |
Equational unification, word unification, and 2nd-order equational unification
|
Otto, Friedrich |
|
1998 |
198 |
1-2 |
p. 1-47 47 p. |
artikel |
10 |
On the coarsest congruence within global-clock-bounded equivalence
|
Corradini, Flavio |
|
1998 |
198 |
1-2 |
p. 225-237 13 p. |
artikel |
11 |
Reachability in live and safe free-choice Petri nets is NP-complete
|
Esparza, Javier |
|
1998 |
198 |
1-2 |
p. 211-224 14 p. |
artikel |
12 |
Some congruence properties for π-calculus bisimilarities
|
Boreale, Michele |
|
1998 |
198 |
1-2 |
p. 159-176 18 p. |
artikel |