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