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.

Left-Handed Completeness

Dexter Kozen, Alexandra Silva. Left-Handed Completeness. In Wolfram Kahl, Timothy G. Griffin, editors, Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings. Volume 7560 of Lecture Notes in Computer Science, pages 162-178, Springer, 2012. [doi]

Authors

Dexter Kozen

This author has not been identified. Look up 'Dexter Kozen' in Google

Alexandra Silva

This author has not been identified. It may be one of the following persons: Look up 'Alexandra Silva' in Google
runs on