Walking through the Forest: Fast EUF Proof-Checking Algorithms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Frédéric Besson, Pierre-Emmanuel Cornilleau, Ronan Saillard. Walking through the Forest: Fast EUF Proof-Checking Algorithms. In David Pichardie, Tjark Weber, editors, Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, PxTP 2012, Manchester, UK, June 30, 2012. Volume 878 of CEUR Workshop Proceedings, pages 58-64, CEUR-WS.org, 2012. [doi]

This author has not been identified. Look up 'Frédéric Besson' in GoogleThis author has not been identified. Look up 'Pierre-Emmanuel Cornilleau' in GoogleThis author has not been identified. Look up 'Ronan Saillard' in Google

runs on WebDSL