TY  - BOOK
AU  - Stoltenberg Hansen Viggo
TI  - Regular set theorem for infinite computation theories
U1  - 510.7 
PY  - 1977///
CY  - Oslo
PB  - University
KW  - Computation theory
ER  -