Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bruno Barras, Lourdes Del Carmen González-Huesca, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel, Burkhart Wolff. Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems. In Jacques Carette, David Aspinall, Christoph Lange 0002, Petr Sojka, Wolfgang Windsteiger, editors, Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Volume 7961 of Lecture Notes in Computer Science, pages 359-363, Springer, 2013. [doi]

This author has not been identified. Look up 'Bruno Barras' in GoogleThis author has not been identified. Look up 'Lourdes Del Carmen González-Huesca' in GoogleThis author has not been identified. Look up 'Hugo Herbelin' in GoogleThis author has not been identified. It may be one of the following persons:

Yann Régis-Gianas

Look up 'Yann Régis-Gianas' in GoogleThis author has not been identified. Look up 'Enrico Tassi' in GoogleThis author has not been identified. Look up 'Makarius Wenzel' in GoogleThis author has not been identified. Look up 'Burkhart Wolff' in Google

runs on WebDSL