Solutions of problems on partially explicit models: II
- 作者O. A. Aarna
- 卷第18卷
- 期第3期
- 印刷ISSN1060-0396
- 电子ISSN1573-8337
- 文件大小663.17KB
- 发表时间1982-0506
- DOI10.1007/bf01069753
- 页码281-287
同作者推荐
Herbrand strategies and the “greater deducibility” relationS. Yu. Maslov; S. A. Norgela · Journal of Mathematical Sciences · 1981
Cut-type rules for calculi of general typeS. Yu. Maslov; S. A. Norgela · Journal of Mathematical Sciences · 1977
On the approximation of reduction classes of RPC by decidable classesS. A. Norgela · Journal of Mathematical Sciences · 1980