scientific article; zbMATH DE number 7168153
From MaRDI portal
Publication:5216311
Ruoyu Meng, Alexi Block Gorman, Erik Walsberg, Elliot Kaplan, Philipp Hieronymi, Hongru Yang, Ziqin Xiong, Zihe Wang
Publication date: 17 February 2020
Full work available at URL: https://arxiv.org/abs/1901.03366
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
On the bijective colouring of Cantor trees based on transducers ⋮ The p-adic Theory of Automata Functions ⋮ Regular model checking with regular relations ⋮ A tetrachotomy for expansions of the real ordered additive group
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Quantization causes waves: smooth finitely computable functions are affine
- The complementation problem for Büchi automata with applications to temporal logic
- Real functions computable by finite automata using affine representations.
- Interpreting the monadic second order theory of one successor in expansions of the real line
- How to avoid a compact set
- An analogue of Cobham's theorem for graph directed iterated function systems
- An analogue of Cobham’s theorem for fractals
- Some characterizations of functions computable in on-line arithmetic
- Regular Real Analysis
- An effective decision procedure for linear arithmetic over the integers and reals
This page was built for publication:
