A Nelson-Oppen based Proof System using Theory Specific Proof Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Frédéric Besson, Pierre-Emmanuel Cornilleau, David Pichardie. A Nelson-Oppen based Proof System using Theory Specific Proof Systems. In Pascal Fontaine, Aaron Stump, editors, PxTP 2011: First International Workshop on Proof eXchange for Theorem Proving, Wrocław, Poland, August 1, 2011. pages 1-14, 2011. [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 'David Pichardie' in Google

runs on WebDSL