Accueil
  • Revues
  • Séminaires
  • Congrès
  • Livres
  • Notes de cours
  • Thèses
  • Auteurs
  • Revues
  • Séminaires
  • Congrès
  • Livres
  • Notes de cours
  • Thèses
  • Auteurs
Parcourir les volumes
  • Tout
  • Auteur
  • Titre
  • Bibliographie
  • Plein texte
Entre et
  • Tout
  • Auteur
  • Titre
  • Date
  • Bibliographie
  • Mots-clés
  • Plein texte
  • Précédent
  • RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
  • Tome 49 (2015)
  • no. 3
  • Suivant

Tome 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
  • À propos
  • Aide
  • Mentions légales
  • Contact

Développé par

Soutenu par

 

Partenaire de