论文信息 - A Class of EXP-Time Machines which can be Simulated by Polytape Machines - 字舞流文

A Class of EXP-Time Machines which can be Simulated by Polytape Machines

Bruno Scarpellini

[1] Karl-Heinz Böhling,et al. Komplexität bei Turingmaschinen , 1974 .

[2] Bruno Scarpellini. Lower bound results on lengths of second-order formulas , 1985, Ann. Pure Appl. Log..