Number of items: 2.
Article
|
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.
|
|
Conference or workshop item
|
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.
|
|
This list was generated on Wed Jun 19 03:04:55 2013 BST.
