The following pages link to Yiannis N. Moschovakis (Q638493):
Displaying 6 items.
- Classical descriptive set theory as a refinement of effective descriptive set theory (Q638494) (← links)
- Computable concurrent processes (Q673972) (← links)
- A model of concurrency with fair merge and full recursion (Q808690) (← links)
- Is the Euclidean Algorithm Optimal Among its Peers? (Q4678946) (← links)
- SOME CONSEQUENCES OF THE AXIOM OF DEFINABLE DETERMINATENESS (Q5580117) (← links)
- Recursive metric spaces (Q5625126) (← links)
