TY  - JOUR

T1  - Equivalence of conservative, free, linear program schemas is decidable

JO  - Theoretical Computer Science

PY  - 2003/01/01

AU  - Laurence MR

AU  - Danicic S

AU  - Harman M

AU  - Hierons R

AU  - Howroyd J

ED  - 

DO  - DOI: 10.1016/s0304-3975(02)00374-2

PB  - Elsevier BV

VL  - 290

IS  - 1

SP  - 831

EP  - 862

Y2  - 2024/12/21

ER  -