Shepherdson J.C. ...


Shepherdson J.C.
[1975]
Computation over abstract structure: serial and parallel procedure in Friedman’s effective definitional schemes
Logic Coll.’73,North-Holland, 445-513
?
O
article

Вернуться к поиску