External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

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.

Automated termination proofs for haskell by term rewriting

Jürgen Giesl, Matthias Raffelsieper, Peter Schneider-Kamp, Stephan Swiderski, René Thiemann. Automated termination proofs for haskell by term rewriting. ACM Transactions on Programming Languages and Systems, 33(2):7, 2011. [doi]

Authors

Jürgen Giesl

This author has not been identified. It may be one of the following persons: Look up 'Jürgen Giesl' in Google

Matthias Raffelsieper

This author has not been identified. Look up 'Matthias Raffelsieper' in Google

Peter Schneider-Kamp

This author has not been identified. Look up 'Peter Schneider-Kamp' in Google

Stephan Swiderski

This author has not been identified. Look up 'Stephan Swiderski' in Google

René Thiemann

This author has not been identified. Look up 'René Thiemann' in Google
runs on