Research Article
An Upper Bound on the Space Complexity of Random Formulae in Resolution
-
- Published online by Cambridge University Press:
- 15 February 2003, pp. 329-339
-
- Article
- Export citation
About the decision of reachability for register machines
-
- Published online by Cambridge University Press:
- 15 February 2003, pp. 341-358
-
- Article
- Export citation
On Shuffle Ideals
-
- Published online by Cambridge University Press:
- 15 February 2003, pp. 359-384
-
- Article
- Export citation
On a characteristic property of ARNOUX–RAUZY sequences
-
- Published online by Cambridge University Press:
- 15 February 2003, pp. 385-388
-
- Article
- Export citation
Integer Partitions, Tilings of 2D-gons and Lattices
-
- Published online by Cambridge University Press:
- 15 February 2003, pp. 389-399
-
- Article
- Export citation