Project or Series

Number of items: 1.
D
  • Decidability of Strong Equivalence for Subschemas of a Class of Linear, Free, near-Liberal Program Schemas. (2009) Danicic, Sebastian; Laurence, Michael and Hierons, Robert