Old Web
English
Sign In
Acemap
>
Paper
>
Computability by nondeterministic program and the Moschovakis search computability
Computability by nondeterministic program and the Moschovakis search computability
1994
V. D. Solov'ev
Keywords:
Effective method
Mathematical analysis
Algorithm
Computability logic
Computability
Mathematics
Nondeterministic algorithm
Discrete mathematics
Topology
Correction
Source
Cite
Save
Machine Reading By IdeaReader
8
References
0
Citations
NaN
KQI
[]