Recent Changes - Search:

ANR DynRes

PmWiki

edit SideBar

Main /

Software

  1. The formal strong completeness of partial monoidal Boolean BI in Coq, Dominique Larchey-Wendling, 2012
  2. The formal strong completeness of (intuitionistic) BI in Coq, Dominique Larchey-Wendling, 2012.
Edit - History - Print - Recent Changes - Search
Page last modified on January 15, 2013, at 04:10 PM EST