Recursive characterization of computable real-valued functions and relations
Vasco BrattkaVolume:
162
Année:
1996
Langue:
english
Pages:
33
DOI:
10.1016/0304-3975(95)00249-9
Fichier:
PDF, 1.90 MB
english, 1996