Translating Between Implicit and Explicit Versions of Proof - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Roberto Blanco, Zakaria Chihani, Dale Miller. Translating Between Implicit and Explicit Versions of Proof. In Leonardo de Moura, editor, Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings. Volume 10395 of Lecture Notes in Computer Science, pages 255-273, Springer, 2017. [doi]

This author has not been identified. Look up 'Roberto Blanco' in GoogleThis author has not been identified. Look up 'Zakaria Chihani' in GoogleThis author has not been identified. Look up 'Dale Miller' in Google

runs on WebDSL