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. 1
  • Suivant

Tome 49 (2015) no. 1

Sommaire


One quantifier alternation in first-order logic with modular predicates
Kufleitner, Manfred ;   Walter, Tobias
p. 1-22

Exact location of the phase transition for random (1,2)-QSAT
Creignou, Nadia ;   Daudé, Hervé ; Egly, Uwe ;   Rossignol, Raphaël
p. 23-45

New bounds on the edge-bandwidth of triangular grids
Lin, Lan ; Lin, Yixun
p. 47-60

The finiteness problem for monoids of morphisms
Honkala, Juha  
p. 61-65

Further results on generalized conditional entropies
Rastegin, Alexey E.
p. 67-92
  • À propos
  • Aide
  • Mentions légales
  • Contact

Développé par

Soutenu par

 

Partenaire de