Equivalence of conservative, free, linear program schemas is decidable, Theoret (0)

by M R Laurence, S Danicic, M Harman, R Hierons, J Howroyd
Venue:Comput. Sci