The decidability of equivalence for dete
โ
Michio Oyamaguchi; Namio Honda
๐
Article
๐
1978
๐
Elsevier Science
โ 529 KB