Research Online

Logo

Goldsmiths - University of London

Equivalence of conservative, free, linear programs is decidable

Danicic, Sebastian; Laurence, M.; Harman, M. and Hierons, R.. 2003. Equivalence of conservative, free, linear programs is decidable. Theoretical Computer Science, 290(1), pp. 831-862. ISSN 03043975 [Article]

No full text available

Item Type:

Article

Identification Number (DOI):

https://doi.org/10.1016/S0304-3975(02)00374-2

Departments, Centres and Research Units:

Computing

Dates:

DateEvent
January 2003Published

Item ID:

976

Date Deposited:

12 Mar 2009 15:41

Last Modified:

13 Jun 2016 12:33

Peer Reviewed:

Yes, this version has been peer-reviewed.

URI:

http://research.gold.ac.uk/id/eprint/976

Edit Record Edit Record (login required)