RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 49 (2015) no. 1

Table of contents

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