Research Article
Deciding knowledge in security protocols under some e-voting theories
-
- Published online by Cambridge University Press:
- 26 August 2011, pp. 269-299
-
- Article
- Export citation
The Fibonacci automorphism of free Burnside groups
-
- Published online by Cambridge University Press:
- 26 August 2011, pp. 301-309
-
- Article
- Export citation
Locally catenative sequences and Turtle graphics
-
- Published online by Cambridge University Press:
- 22 August 2011, pp. 311-330
-
- Article
- Export citation
A note on maximum independent sets and minimum clique partitions in unit disk graphs and penny graphs: complexity and approximation
-
- Published online by Cambridge University Press:
- 05 September 2011, pp. 331-346
-
- Article
- Export citation
Construction of tree automata from regular expressions
-
- Published online by Cambridge University Press:
- 22 August 2011, pp. 347-370
-
- Article
- Export citation