Browse by Project or Series
![]() | Up a level |
Jump to: Article
Number of items: 1.
Article
Danicic, Sebastian; Laurence, Michael and Hierons, Robert.
2009.
Decidability of Strong Equivalence for Subschemas of a Class of Linear, Free, near-Liberal Program Schemas.
Goldsmiths Department of Computing Technical Report,
[Article]