Number of items: 2.
2010
|
Boiten, Eerke and Grundy, Dan
(2010)
The Logic of Large Enough.
In: MPC 2010: Mathematics of Program Construction.
The full text of this publication is not available from this repository.
|
|
2008
|
Boiten, Eerke and Grundy, Dan
(2008)
Reduction and refinement.
Electronic Notes in Theoretical Computer Science, 201C
.
pp. 31-44.
ISSN 1571-0661.
The full text of this publication is not available from this repository.
|
|
This list was generated on Sun May 19 16:10:12 2013 BST.
