Inproceedings,

Computability Theory in Admissible Domains

, and .
STOC, page 95-104. ACM, (1978)

Meta data

Tags

Users

  • @dblp

Comments and Reviews