共 22 条
- [1] REVERSAL-BOUNDED MULTIPUSHDOWN MACHINES [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1974, 8 (03) : 315 - 332
- [2] Book R., 1974, SIAM Journal on Computing, V3, P283, DOI 10.1137/0203023
- [5] BOOK RV, 1970, MATH SYST THEORY, V4, P97
- [6] BOOK RV, SIAM J COMPUT
- [7] BRANDENBURG FJ, UNPUBLISHED
- [8] BRANDENBURG FJ, MATH SYSTEMS THEORY
- [10] EQUALITY LANGUAGES AND FIXED-POINT LANGUAGES [J]. INFORMATION AND CONTROL, 1979, 43 (01): : 20 - 49