Volume 45 (2011) no. 3

Table of contents

Deciding knowledge in security protocols under some e-voting theories
p. 269-299
The Fibonacci automorphism of free Burnside groups
p. 301-309
Locally catenative sequences and Turtle graphics
p. 311-330
A note on maximum independent sets and minimum clique partitions in unit disk graphs and penny graphs: complexity and approximation
p. 331-346
Construction of tree automata from regular expressions
p. 347-370