|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
5 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Decidability of the Existential Theory of Infinite Terms with Subterm Relation |
Tulipani, S. |
1994 |
108 | 1 |
p. 1-33 33 p. |
article |
|
| 2 | Embedding as a Tool for Language Comparison |
Deboer, F.S. |
1994 |
108 | 1 |
p. 128-157 30 p. |
article |
|
| 3 | Lambda-Calculi for (Strict) Parallel Functions |
Boudol, G. |
1994 |
108 | 1 |
p. 51-127 77 p. |
article |
|
| 4 | Occam′s Razor, Partially Specified Boolean Functions, String Matching, and Independent Sets |
Krichevsky, R.E. |
1994 |
108 | 1 |
p. 158-174 17 p. |
article |
|
| 5 | The Distributed Bit Complexity of the Ring: From the Anonymous to the Non-anonymous Case |
Bodlaender, H.L. |
1994 |
108 | 1 |
p. 34-50 17 p. |
article |
5 results found