Similar Items: Z-stability in Constructive Analysis
- Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures
- ArviZ: a modular and flexible library for exploratory analysis of Bayesian models
- The Identity Problem in the special affine group of $mathbb{Z}^2$
- McShane-Whitney extensions in constructive analysis
- An Analysis of Tennenbaum's Theorem in Constructive Type Theory
- Linear equations for unordered data vectors in $[D]^kto{}Z^d$