Similar Items: Automatic Structures: Richness and Limitations
- Simple Classes of Automatic Structures
- Universal quantification makes automatic structures hard to decide
- Tree-Automatic Well-Founded Trees
- Automatic functions, linear time and learning
- A Common Interface for Automatic Differentiation
- Automatic Modular Abstractions for Template Numerical Constraints