External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Reachability in Register Machines with Polynomial Updates

Alain Finkel, Stefan Göller, Christoph Haase. Reachability in Register Machines with Polynomial Updates. In Krishnendu Chatterjee, Jiri Sgall, editors, Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. Volume 8087 of Lecture Notes in Computer Science, pages 409-420, Springer, 2013. [doi]

Authors

Alain Finkel

This author has not been identified. Look up 'Alain Finkel' in Google

Stefan Göller

This author has not been identified. Look up 'Stefan Göller' in Google

Christoph Haase

This author has not been identified. Look up 'Christoph Haase' in Google
runs on