Function algebraic characterizations of the polytime functions

被引:3
|
作者
Ishihara, H [1 ]
机构
[1] Japan Adv Inst Sci & Technol, Sch Informat Sci, Tatsunokuchi, Ishikawa 9231292, Japan
关键词
polytime functions; function algebras; recursion schemes;
D O I
10.1007/s000370050004
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We give function algebraic characterizations of the polynomial time computable functions using unbounded recursion schemes without introducing extra notions such as safe and normal in variables and tiering in word algebras.
引用
收藏
页码:346 / 356
页数:11
相关论文
共 50 条