Login / Signup
Dan Grundy
Publication Activity (10 Years)
Years Active: 2008-2010
Publications (10 Years): 0
</>
Publications
</>
Eerke A. Boiten
,
Dan Grundy
The Logic of Large Enough.
MPC
(2010)
Eerke A. Boiten
,
Dan Grundy
Reduction and Refinement.
Electron. Notes Theor. Comput. Sci.
201 (2008)