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