Book contents
- Frontmatter
- Contents
- Introduction
- 1 Preliminaries
- Part I Abstract (first order) recursion
- Part II Intrinsic complexity
- 4 The homomorphism method
- 5 Lower bounds from Presburger primitives
- 6 Lower bounds from division with remainder
- 7 Lower bounds from division and multiplication
- 8 Non-uniform complexity in N
- 9 Polynomial nullity (0-testing)
- References
- Symbol index
- General index
5 - Lower bounds from Presburger primitives
from Part II - Intrinsic complexity
Published online by Cambridge University Press: 23 November 2018
- Frontmatter
- Contents
- Introduction
- 1 Preliminaries
- Part I Abstract (first order) recursion
- Part II Intrinsic complexity
- 4 The homomorphism method
- 5 Lower bounds from Presburger primitives
- 6 Lower bounds from division with remainder
- 7 Lower bounds from division and multiplication
- 8 Non-uniform complexity in N
- 9 Polynomial nullity (0-testing)
- References
- Symbol index
- General index
Summary
- Type
- Chapter
- Information
- Abstract Recursion and Intrinsic Complexity , pp. 159 - 170Publisher: Cambridge University PressPrint publication year: 2018