Completeness and Decidability of de Bruijn Substitution Algebra in Coq - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Steven Schäfer, Gert Smolka, Tobias Tebbi. Completeness and Decidability of de Bruijn Substitution Algebra in Coq. In Xavier Leroy, Alwen Tiu, editors, Proceedings of the 2015 Conference on Certified Programs and Proofs, CPP 2015, Mumbai, India, January 15-17, 2015. pages 67-73, ACM, 2015. [doi]

This author has not been identified. Look up 'Steven Schäfer' in GoogleThis author has not been identified. Look up 'Gert Smolka' in GoogleThis author has not been identified. Look up 'Tobias Tebbi' in Google

runs on WebDSL