A. P. Hughes
2 published titles
On the inheritance of monoid properties in indexed structures
(Contributor)
1 edition
- Trinity College, Department of Computer Science
- 1996
- Details
An algebraic proof in VDM
1 edition
- Trinity College, Department of Computer Science
- 1996
- Details
