Subrecursive program schemata I & II(I. Undecidable equivalence problems, II. Decidable equivalence problems)
Keyword(s):
2010 ◽
Vol 64
(4)
◽
pp. 482-504
◽
Keyword(s):
2018 ◽
Keyword(s):
1989 ◽
Vol 80
(1)
◽
pp. 32-78
◽
1981 ◽
Vol 49
(1)
◽
pp. 52-63
◽
1972 ◽
Vol 6
(6)
◽
pp. 480-537
◽
Keyword(s):