Subscriber Authentication Point

EDPS Account

Volume 49 / No 1 (January-March 2015)

RAIRO - Theoretical Informatics and Applications

Volume 49 / No 1 (January-March 2015)

Export the citation of the selected articles Export
Select all

One quantifier alternation in first-order logic with modular predicates p. 1

Manfred Kufleitner and Tobias Walter

Published online: 18 February 2015

DOI: https://doi.org/10.1051/ita/2014024

Exact location of the phase transition for random (1,2)-QSAT p. 23

Nadia Creignou, Hervé Daudé, Uwe Egly and Raphaël Rossignol

Published online: 23 February 2015

DOI: https://doi.org/10.1051/ita/2014025

New bounds on the edge-bandwidth of triangular grids p. 47

Lan Lin and Yixun Lin

Published online: 18 February 2015

DOI: https://doi.org/10.1051/ita/2014027

The finiteness problem for monoids of morphisms p. 61

Juha Honkala

Published online: 23 February 2015

DOI: https://doi.org/10.1051/ita/2014028

Further results on generalized conditional entropies p. 67

Alexey E. Rastegin

Published online: 23 February 2015

DOI: https://doi.org/10.1051/ita/2014029