Pure Iteration and Periodicity

DOI10.1007/978-3-540-69407-6_5zbMath1142.03349OpenAlexW1521227093MaRDI QIDQ3507417

Mathias Barra

Publication date: 19 June 2008

Published in: Logic and Theory of Algorithms (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-69407-6_5

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Complexity classes and fragments of C
• LOGSPACE and PTIME characterized by programming languages
• Neat function algebraic characterizations of LOGSPACE and LINSPACE
• The expressive power of higher-order types or, life without CONS
• The Structure of Detour Degrees
• A Characterisation of the Relations Definable in Presburger Arithmetic
• Small Grzegorczyk Classes
• Computer Science Logic
• New Computational Paradigms