A Rewrite System for Proof Constructivization - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Raphaël Cauderlier. A Rewrite System for Proof Constructivization. In Gilles Dowek, Daniel R. Licata, Sandra Alves, editors, Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2016, Porto, Portugal, June 23, 2016. ACM, 2016. [doi]

This author has not been identified. Look up 'Raphaël Cauderlier' in Google

runs on WebDSL