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.

Decidability Properties of Recursive Types

Felice Cardone, Mario Coppo. Decidability Properties of Recursive Types. In Carlo Blundo, Cosimo Laneve, editors, Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings. Volume 2841 of Lecture Notes in Computer Science, pages 242-255, Springer, 2003. [doi]

Authors

Felice Cardone

This author has not been identified. Look up 'Felice Cardone' in Google

Mario Coppo

This author has not been identified. Look up 'Mario Coppo' in Google
runs on