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. 1
Précédent Suivant

Volume 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
  • Contact
  • Mentions légales
  • Politique de confidentialité