相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。THE EXPRESSIVENESS OF LOOPING TERMS IN THE SEMANTIC PROGRAMMING
S. Goncharov et al.
SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA (2020)
Logical Language of Description of Polynomial Computing
S. S. Goncharov et al.
DOKLADY MATHEMATICS (2019)
Polynomial Computability of Fields of Algebraic Numbers
P. E. Alaev et al.
DOKLADY MATHEMATICS (2018)
Recursive Terms in Semantic Programming
S. S. Goncharov et al.
SIBERIAN MATHEMATICAL JOURNAL (2018)
Conditional terms in semantic programming
S. S. Goncharov
SIBERIAN MATHEMATICAL JOURNAL (2017)
STRUCTURES COMPUTABLE IN POLYNOMIAL TIME. I
P. E. Alaev
ALGEBRA AND LOGIC (2017)
Existence and Uniqueness of Structures Computable in Polynomial Time
P. E. Alaev
ALGEBRA AND LOGIC (2016)