Equivalence of conservative, free, linear program schemas is decidable

M R Laurence, S Danicic, M Harman, R Hierons, J Howroyd

Research output: Contribution to journalArticlepeer-review

9 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Equivalence of conservative, free, linear program schemas is decidable'. Together they form a unique fingerprint.

Computer Science