Turing Machines with Linear Alternation, Theories of Bounded Concatenation and the Decision Problem of First Order Theories
Turing Machines with Linear Alternation, Theories of Bounded Concatenation and the Decision Problem of First Order Theories
复制标题
线性交替图灵机、有界级联理论和一阶理论的决策问题
DOI：
--
复制
发表时间：
1983
影响因子：
1.1
通讯作者：
H. Volger
中科院分区：
文献类型：
--
作者：
H. Volger
