机译:论过程计算中递归,复制和迭代的表达能力
Dip. di Scienze dell'Informazione, Univ. di Bologna, Mura A.Zamboni 7, 40127 Bologna, Italy;
Dip. di Scienze dell'Informazione, Univ. di Bologna, Mura A.Zamboni 7, 40127 Bologna, Italy;
Dip. di Scienze dell'Informazione, Univ. di Bologna, Mura A.Zamboni 7, 40127 Bologna, Italy;
机译:基于KLAIM的结石的表达能力
机译:关于高阶过程计算的可表达性和可判定性
机译:过程计算优先级的表达性研究
机译:在过程计算中比较递归,复制和迭代
机译:基于知识库的机器(人工智能,一阶查询,PROLOG,“剪切”运算符,第五代计算机)的高层次关系处理器上的递归和规则选择
机译:迭代和递归
机译:过程计算中递归,复制和作用域机制的表达