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 PDF (346.8 KB)References
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 PDF (331.6 KB)References
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 PDF (496.6 KB)References
The finiteness problem for monoids of morphisms p. 61 Juha Honkala Published online: 23 February 2015 DOI: https://doi.org/10.1051/ita/2014028 PDF (117.2 KB)References
Further results on generalized conditional entropies p. 67 Alexey E. Rastegin Published online: 23 February 2015 DOI: https://doi.org/10.1051/ita/2014029 PDF (356.2 KB)References