1. Polynomial-time versus recursive models;Cenzer;Ann. Pure Appl. Logic,1991
2. Some constructivizations of abelian groups;Dobritsa;Sib. Mat. Zh.,1978
3. Decision Problems and Constructivizable Models;Ershov,1980
4. Every recursive linear ordering has a copy in DTIME(n);Grigorieff;J. Symbolic Logic,1990
5. Formal Languages and Their Relations to Automata;Hopcroft,1969