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