Linear Time Computable Problems and First-Order Descriptions

Detlef Seese. Linear Time Computable Problems and First-Order Descriptions. Mathematical Structures in Computer Science, 6(6):505-526, 1996.

Abstract

Abstract is missing.