Similar Items: Simple Classes of Automatic Structures
- Point-Separable Classes of Simple Computable Planar Curves
- Automatic Structures: Richness and Limitations
- First-order queries on classes of structures with bounded expansion
- Universal quantification makes automatic structures hard to decide
- A Common Interface for Automatic Differentiation
- Tree-Automatic Well-Founded Trees