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.

Decidable Models of Integer-Manipulating Programs with Recursive Parallelism

Matthew Hague, Anthony Widjaja Lin. Decidable Models of Integer-Manipulating Programs with Recursive Parallelism. In Kim Guldstrand Larsen, Igor Potapov, Jirí Srba, editors, Reachability Problems - 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings. Volume 9899 of Lecture Notes in Computer Science, pages 148-162, Springer, 2016. [doi]

Authors

Matthew Hague

This author has not been identified. Look up 'Matthew Hague' in Google

Anthony Widjaja Lin

This author has not been identified. Look up 'Anthony Widjaja Lin' in Google
runs on