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.

Expressing Iterative Properties Logically in a Symbolic Setting

Carron Shankland, Jeremy Bryans, Lionel Morel. Expressing Iterative Properties Logically in a Symbolic Setting. In Charles Rattray, Savi Maharaj, Carron Shankland, editors, Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings. Volume 3116 of Lecture Notes in Computer Science, pages 460-474, Springer, 2004. [doi]

Authors

Carron Shankland

This author has not been identified. Look up 'Carron Shankland' in Google

Jeremy Bryans

This author has not been identified. Look up 'Jeremy Bryans' in Google

Lionel Morel

This author has not been identified. Look up 'Lionel Morel' in Google
runs on