机译:具有功能符号的多项式和指数界限逻辑程序:一些新的可判定类
Western Sydney Univ Sch Comp Engn &
Math Artificial Intelligence Res Grp Locked Bag 1797 Penrith NSW 2751 Australia;
Western Sydney Univ Sch Comp Engn &
Math Artificial Intelligence Res Grp Locked Bag 1797 Penrith NSW 2751 Australia;
Tianjin Univ Coll Intelligence &
Comp Tianjin 300050 Peoples R China;
Huazhong Univ Sci &
Technol Sch Comp Sci &
Technol Wuhan 430074 Hubei Peoples R China;
机译:具有函数符号的多项式和指数有界逻辑程序:一些新的可判定类
机译:用功能符号检测有限接地逻辑程序的确定类
机译:FDNC:具有功能符号的可确定的非单调析取逻辑程序
机译:具有功能符号的多项式有界逻辑程序:一个新的可解除类
机译:有界线性演算:基于有界线性逻辑的多项式时间可计算函数的表征
机译:一类指数增长函数中的几类卷积奇异积分方程
机译:用函数符号检测有限地逻辑程序的可判定类