nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Conservation and Uniform Normalization in Lambda Calculi with Erasing Reductions
|
Neergaard, Peter Møller |
|
2002 |
178 |
1 |
p. 149-179 31 p. |
artikel |
2 |
Context-Sensitive Rewriting Strategies
|
Lucas, Salvador |
|
2002 |
178 |
1 |
p. 294-343 50 p. |
artikel |
3 |
Intersection and Singleton Type Assignment Characterizing Finite Böhm-Trees
|
Kurata, Toshihiko |
|
2002 |
178 |
1 |
p. 1-11 11 p. |
artikel |
4 |
Learning Closed Horn Expressions
|
Arias, Marta |
|
2002 |
178 |
1 |
p. 214-240 27 p. |
artikel |
5 |
Linear Time and the Power of One First-Order Universal Quantifier
|
Durand, Arnaud |
|
2002 |
178 |
1 |
p. 12-22 11 p. |
artikel |
6 |
On Complexity of Easy Predictable Sequences
|
Vyugin, Michael V |
|
2002 |
178 |
1 |
p. 241-252 12 p. |
artikel |
7 |
On the Nonapproximability of Boolean Functions by OBDDs and Read-k-Times Branching Programs
|
Bollig, Beate |
|
2002 |
178 |
1 |
p. 263-278 16 p. |
artikel |
8 |
Ordered SOS Process Languages for Branching and Eager Bisimulations
|
Ulidowski, Irek |
|
2002 |
178 |
1 |
p. 180-213 34 p. |
artikel |
9 |
Prelogical Relations
|
Honsell, Furio |
|
2002 |
178 |
1 |
p. 23-43 21 p. |
artikel |
10 |
Relative Undecidability in Term Rewriting
|
Geser, Alfons |
|
2002 |
178 |
1 |
p. 132-148 17 p. |
artikel |
11 |
Relative Undecidability in Term Rewriting
|
Geser, Alfons |
|
2002 |
178 |
1 |
p. 101-131 31 p. |
artikel |
12 |
The Box Algebra=Petri Nets+Process Expressions
|
Best, Eike |
|
2002 |
178 |
1 |
p. 44-100 57 p. |
artikel |
13 |
The Complexity of Solving Equations over Finite Groups
|
Goldmann, Mikael |
|
2002 |
178 |
1 |
p. 253-262 10 p. |
artikel |
14 |
The Small Model Property: How Small Can It Be?
|
Pnueli, Amir |
|
2002 |
178 |
1 |
p. 279-293 15 p. |
artikel |