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.

A Logical Mix of Approximation and Separation

Aquinas Hobor, Robert Dockins, Andrew W. Appel. A Logical Mix of Approximation and Separation. In Kazunori Ueda, editor, Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings. Volume 6461 of Lecture Notes in Computer Science, pages 439-454, Springer, 2010. [doi]

Authors

Aquinas Hobor

This author has not been identified. Look up 'Aquinas Hobor' in Google

Robert Dockins

This author has not been identified. Look up 'Robert Dockins' in Google

Andrew W. Appel

Identified as Andrew W. Appel
runs on