Home
  • Journals
  • Seminars
  • Conferences
  • Books
  • Lecture notes
  • Theses
  • Authors
  • Journals
  • Seminars
  • Conferences
  • Books
  • Lecture notes
  • Theses
  • Authors
Browse issues
  • All
  • Author
  • Title
  • References
  • Full text
Between and
  • All
  • Author
  • Title
  • Date
  • References
  • Keywords
  • Full text
  • Previous
  • RAIRO. Theoretical Informatics and Applications
  • Volume 49 (2015)
  • no. 1
  • Next

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
  • Accessibility: not compliant
  • About
  • Help
  • Legal notice
  • Contact

Published by

Supported by

 

Partner of