Robert Manson Sawko, Malgorzata Zimon
SIAM/ASA JUQ
Paper
Uniformly reflexive structures: on the nature of gÖdelizations and relative computability
Abstract
No abstract available.
Related
Guo-Jun Qi, Charu Aggarwal, et al.
IEEE TPAMI
Nimrod Megiddo
Journal of Symbolic Computation
Naga Ayachitula, Melissa Buco, et al.
SCC 2007