Menu

Browse by Project or Series

Up a level
Export as [feed] Atom [feed] RSS
Group by: Creators | Item Type | No Grouping
Jump to: D
Number of items: 1.

D

[img]
Preview
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]

This list was generated on Sat Nov 23 04:39:10 2024 GMT.