共 71 条
- [2] [Anonymous], 1978, PROC STOC 1978, DOI DOI 10.1145/800133.804361
- [3] [Anonymous], 1929, Comptes-Rendus du Ler Congress Des Mathematiciens Des Pays Slavs
- [4] [Anonymous], 1960, Trans. Amer. Math. Soc., DOI DOI 10.1090/S0002-9947-1960-0111704-1
- [5] [Anonymous], HDB FORMAL LANGUAGES
- [6] [Anonymous], 1959, Fundamenta Mathematicae
- [7] [Anonymous], 1997, Perspectives in Mathematical Logic
- [8] [Anonymous], 1974, COMPLEXITY COMPUTATI
- [9] [Anonymous], 2006, COMPILERS PRINCIPLES
- [10] Baaz M., 2001, Handbook of Automated Reasoning, V1, P273