Canonical Big Operators - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yves Bertot, Georges Gonthier, Sidi Ould Biha, Ioana Pasca. Canonical Big Operators. In Otmane Aït Mohamed, César Muñoz, Sofiène Tahar, editors, Theorem Proving in Higher Order Logics, 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings. Volume 5170 of Lecture Notes in Computer Science, pages 86-101, Springer, 2008. [doi]

This author has not been identified. Look up 'Yves Bertot' in GoogleThis author has not been identified. Look up 'Georges Gonthier' in GoogleThis author has not been identified. Look up 'Sidi Ould Biha' in GoogleThis author has not been identified. Look up 'Ioana Pasca' in Google

runs on WebDSL