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 49 (2015)
no. 3
Précédent
Suivant
Volume 49 (2015) no. 3
Sommaire
Optimal strategy synthesis for request-response games
Horn, Florian
;
Thomas, Wolfgang
;
Wallmeier, Nico
;
Zimmermann, Martin
p. 179-203
On language equations with concatenation and various sets of Boolean operations
Okhotin, Alexander
p. 205-232
Reducing the gradedness problem of string rewriting systems to a termination problem
Stein, Itamar
p. 233-254
Algorithm design and theoretical analysis of a novel CMM modular exponentiation algorithm for large integers
Rezai, Abdalhossein
;
Keshavarzi, Parviz
p. 255-268