From ANR DynRes
Main: Software
The formal strong completeness of partial monoidal Boolean BI
in
Coq
, Dominique Larchey-Wendling, 2012
The formal strong completeness of (intuitionistic) BI
in
Coq
, Dominique Larchey-Wendling, 2012.
Retrieved from http://anr-dynres.loria.fr/pmwiki.php?n=Main.Software
Page last modified on January 15, 2013, at 04:10 PM EST