On the Decidability of the Equivalence Problem for Orthogonal Sequential Programs
Vladimir A. ZakharovVolume:
2
Language:
english
Pages:
11
DOI:
10.1023/a:1009954232570
Date:
December, 1999
File:
PDF, 102 KB
english, 1999