A Flexible Proof Format for SMT: a Proposal - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Frédéric Besson, Pascal Fontaine, Laurent Théry. A Flexible Proof Format for SMT: a Proposal. In Pascal Fontaine, Aaron Stump, editors, PxTP 2011: First International Workshop on Proof eXchange for Theorem Proving, Wrocław, Poland, August 1, 2011. pages 15-26, 2011. [doi]

This author has not been identified. Look up 'Frédéric Besson' in GoogleThis author has not been identified. Look up 'Pascal Fontaine' in GoogleThis author has not been identified. Look up 'Laurent Théry' in Google

runs on WebDSL