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.

Termination Casts: A Flexible Approach to Termination with General Recursion

Aaron Stump, Vilhelm Sjöberg, Stephanie Weirich. Termination Casts: A Flexible Approach to Termination with General Recursion. In Ekaterina Komendantskaya, Ana Bove, Milad Niqui, editors, Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010, Edinburgh, UK, July 15, 2010. Volume 5 of EPiC Series, pages 83-99, EasyChair, 2010. [doi]

Authors

Aaron Stump

This author has not been identified. Look up 'Aaron Stump' in Google

Vilhelm Sjöberg

This author has not been identified. Look up 'Vilhelm Sjöberg' in Google

Stephanie Weirich

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