Matrix Languages , Register Machines , Vector Addition Systems

  title={Matrix Languages , Register Machines , Vector Addition Systems},
  author={Rudolf Freund and Oscar H. Ibarra and Gheorghe Paun and Hsu-Chen Yen},
1 Faculty of Informatics, Vienna University of Technology Favoritenstr. 9–11, A–1040 Vienna, Austria E-mail: 2 Department of Computer Science, University of California Santa Barbara, CA 93106, USA E-mail: 3 Institute of Mathematics of the Romanian Academy PO Box 1-764, 014700 Bucureşti, Romania, and Research Group on Natural Computing Department of Computer Science and Artificial Intelligence University of Sevilla Avda. Reina Mercedes s/n, 41012 Sevilla, Spain E… CONTINUE READING
8 Citations
16 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 16 references

Pansiot: On the reachability problem for 5-dimensional vector addition systems

  • J.J.J.E. Hopcroft
  • Theoretical Computer Science,
  • 1979
Highly Influential
4 Excerpts


  • J. Dassow
  • Păun: Regulated Rewriting in Formal Language…
  • 1989
3 Excerpts

Mayr: Projections of vector addition system reachability sets are semilinear

  • H. K. Büning, E.W.T. Lettmann
  • Theoretical Computer Science,
  • 1989


  • G. Rozenberg
  • Salomaa, eds.: Handbook of Formal Languages…
  • 1987
1 Excerpt

Similar Papers

Loading similar papers…