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.

Proof Relevant Corecursive Resolution

Peng Fu 0001, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond. Proof Relevant Corecursive Resolution. In Oleg Kiselyov, Andy King, editors, Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings. Volume 9613 of Lecture Notes in Computer Science, pages 126-143, Springer, 2016. [doi]

Authors

Peng Fu 0001

This author has not been identified. Look up 'Peng Fu 0001' in Google

Ekaterina Komendantskaya

This author has not been identified. Look up 'Ekaterina Komendantskaya' in Google

Tom Schrijvers

This author has not been identified. It may be one of the following persons: Look up 'Tom Schrijvers' in Google

Andrew Pond

This author has not been identified. Look up 'Andrew Pond' in Google
runs on