Similar Items: Computing the Density of the Positivity Set for Linear Recurrence Sequences
- Decision problems for linear recurrences involving arbitrary real numbers
- Exhaustible sets in higher-type computation
- The Complexity of Infinite Computations In Models of Set Theory
- Representations of measurable sets in computable measure theory
- A Curry-Howard Correspondence for Linear, Reversible Computation
- Closed Sets and Operators thereon: Representations, Computability and Complexity