Integrating Reasoning About Ordinal Arithmetic into ACL2 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Panagiotis Manolios, Daron Vroon. Integrating Reasoning About Ordinal Arithmetic into ACL2. In Alan J. Hu, Andrew K. Martin, editors, Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings. Volume 3312 of Lecture Notes in Computer Science, pages 82-97, Springer, 2004. [doi]

This author has not been identified. Look up 'Panagiotis Manolios' in GoogleThis author has not been identified. Look up 'Daron Vroon' in Google

runs on WebDSL