For bounded automatic actions of inverse semigroups the orbit relation is ω-regular, making first-order statements about orbits and actions decidable, including computability of Fatou component encodings for post-critically finite polynomials.
Richard Büchi, Weak second-order arithmetic and finite automata , Z
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
years
2026 3verdicts
UNVERDICTED 3representative citing papers
The paper establishes treewidth bounds and MSO-axiomatizability results for weak memory models, introduces reads-from robustness, and derives algorithmic implications for verification.
The paper proves a degree formula for Hilbert-90 quotient maps via torsion defects, classifies low-degree strata, and shows full symmetric geometric monodromy in characteristic zero.
citing papers explorer
-
Hilbert-90 quotient maps, torsion defects, and symmetric monodromy
The paper proves a degree formula for Hilbert-90 quotient maps via torsion defects, classifies low-degree strata, and shows full symmetric geometric monodromy in characteristic zero.