About the Decision of Reachability for Register Machines

About the Decision of Reachability for Register Machines. Véronique Cortier. Theoretical Informatics and Applications, 36(4):341–358, Oct. - Dec. 2002.

Download

[PDF] [PS]

Abstract

(unavailable)

BibTeX

@article{CortierRegister,
  author =        {Cortier, V{\'e}ronique},
  journal =       {Theoretical Informatics and Applications},
  month =         {Oct. - Dec.},
  number =        {4},
  pages =         {341-358},
  title =         {About the Decision of Reachability for Register
                   Machines},
  volume =        {36},
  year =          {2002},
}