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.

A proof-theoretic approach to certifying skolemization

Kaustuv Chaudhuri, Matteo Manighetti, Dale Miller 0001. A proof-theoretic approach to certifying skolemization. In Assia Mahboubi, Magnus O. Myreen, editors, Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019. pages 78-90, ACM, 2019. [doi]

Authors

Kaustuv Chaudhuri

This author has not been identified. Look up 'Kaustuv Chaudhuri' in Google

Matteo Manighetti

This author has not been identified. Look up 'Matteo Manighetti' in Google

Dale Miller 0001

This author has not been identified. Look up 'Dale Miller 0001' in Google
runs on