Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Geodesic
Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Tome 45 (2011)
no. 3
Précédent
Suivant
Volume 45 (2011) no. 3
Sommaire
Deciding knowledge in security protocols under some e-voting theories
Berrima, Mouhebeddine
;
Ben Rajeb, Narjes
;
Cortier, Véronique
p. 269-299
The Fibonacci automorphism of free Burnside groups
Pahlevanyan, Ashot S.
p. 301-309
Locally catenative sequences and Turtle graphics
Karhumäki, Juhani
;
Puzynina, Svetlana
p. 311-330
A note on maximum independent sets and minimum clique partitions in unit disk graphs and penny graphs: complexity and approximation
Cerioli, Marcia R.
;
Faria, Luerbio
;
Ferreira, Talita O.
;
Protti, Fábio
p. 331-346
Construction of tree automata from regular expressions
Kuske, Dietrich
;
Meinecke, Ingmar
p. 347-370