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.

Improving Refutational Completeness of Relational Search via Divergence Test

Dmitri Rozplokhas, Dmitri Boulytchev. Improving Refutational Completeness of Relational Search via Divergence Test. In David Sabel, Peter Thiemann, editors, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018. ACM, 2018. [doi]

Authors

Dmitri Rozplokhas

This author has not been identified. Look up 'Dmitri Rozplokhas' in Google

Dmitri Boulytchev

This author has not been identified. Look up 'Dmitri Boulytchev' in Google
runs on