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.

Aligators for Arrays (Tool Paper)

Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrey Rybalchenko. Aligators for Arrays (Tool Paper). In Christian G. Fermüller, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings. Volume 6397 of Lecture Notes in Computer Science, pages 348-356, Springer, 2010. [doi]

Authors

Thomas A. Henzinger

This author has not been identified. Look up 'Thomas A. Henzinger' in Google

Thibaud Hottelier

This author has not been identified. Look up 'Thibaud Hottelier' in Google

Laura Kovács

This author has not been identified. Look up 'Laura Kovács' in Google

Andrey Rybalchenko

This author has not been identified. Look up 'Andrey Rybalchenko' in Google
runs on