Similar Items: Almost periodic functions, constructively
- Overlap Algebras as Almost Discrete Locales
- STABILITY ANALYSIS OF PERIODIC AND ALMOST-PERIODIC DISCRETE SWITCHED LINEAR SYSTEM
- Model Checking CTL is Almost Always Inherently Sequential
- Asymptotically almost all lambda-terms are strongly normalizing
- From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity
- Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence