Inproceedings,

The Älmost All" Theory of Subrecursive Degrees is Decidable.

.
ICALP, volume 14 of Lecture Notes in Computer Science, page 317-325. Springer, (1974)

Meta data

Tags

Users

  • @dblp

Comments and Reviews