scientific article; zbMATH DE number 1223712
From MaRDI portal
Publication:4219027
zbMath0910.68149MaRDI QIDQ4219027
Pierre Wolper, Bernard Boigelot, Stéphane Rassart
Publication date: 14 February 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (19)
Decidability of Definability Issues in the Theory of Real Addition ⋮ Fractional parts of dense additive subgroups of real numbers ⋮ Interpreting the monadic second order theory of one successor in expansions of the real line ⋮ Unnamed Item ⋮ Fractals and the monadic second order theory of one successor ⋮ Pushdown timed automata: A binary reachability characterization and safety verification. ⋮ Unnamed Item ⋮ Convex Hull of Arithmetic Automata ⋮ First-Order Logic and Numeration Systems ⋮ Unnamed Item ⋮ How to avoid a compact set ⋮ A Generalization of Semenov’s Theorem to Automata over Real Numbers ⋮ Finite automata encoding geometric figures ⋮ A tetrachotomy for expansions of the real ordered additive group ⋮ Minimal automaton for multiplying and translating the Thue-Morse set ⋮ A generalization of Cobham's theorem to automata over real numbers ⋮ When is scalar multiplication decidable? ⋮ Unnamed Item ⋮ An analogue of Cobham's theorem for graph directed iterated function systems
This page was built for publication:
