RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, 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