The top documents tagged [proof checking experiments]

1 MVD 2010 University of Iowa New York University Comparing Proof Systems for Linear Real Arithmetic Using LFSC Andrew Reynolds September 17, 2010.

1 MVD 2010 University of Iowa New York University Comparing Proof Systems for Linear Real Arithmetic Using LFSC Andrew Reynolds September 17, 2010.

213 views
Comparing Proof Systems for Linear Real Arithmetic Using LFSC

Comparing Proof Systems for Linear Real Arithmetic Using LFSC

22 views
Languages
Pages
Legal

Copyright © 2022 FDOCUMENTS