mirage

Browsing LIP - Laboratoire de l'Informatique du Parallélisme by Subject "Undecidability"

DSpace/Manakin Repository

Browsing LIP - Laboratoire de l'Informatique du Parallélisme by Subject "Undecidability"

Sort by: Order: Results:

  • Laboratoire de l'informatique du parallélisme; Allauzen, Cyril; Durand, Bruno (1995-09)
    (eng) We study some decision problems concerning the tiling of the plane with Wang tiles. We present a proof for the undecidability of the tiling problem for the whole plane, and also for the periodic tiling. In these ...
  • Laboratoire de l'informatique du parallélisme; Derksen, Harm; Jeandel, Emmanuel; Koiran, Pascal (2003-07)
    (eng) We show that several problems which are known to be undecidable for probabilistic automata become decidable for quantum finite automata. Our main tool is an algebraic result of independent interest: we give an algorithm ...
  • Laboratoire de l'informatique du parallélisme; Koiran, Pascal (2000-11)
    (eng) We show that it is impossible to compute (or even to approximate) the topological entropy of a continuous piecewise affine function in dimension 4. The same result holds for saturated linear functions in unbounded ...

Search DSpace


Advanced Search

Browse

My Account

Bookmark and Share