The following pages link to Roger Villemaire (Q420851):
Displaying 42 items.
- On the almighty wand (Q418137) (← links)
- Reasoning about visibility (Q420853) (← links)
- Nondeterministic Moore automata and Brzozowski's minimization algorithm (Q442154) (← links)
- Degrees of asynchronously automaton transformations (Q647840) (← links)
- A Büchi-like theorem for weighted tree automata over multioperator monoids (Q692910) (← links)
- Descriptive set theoretic methods in automata theory. Decidability and topological complexity (Q737116) (← links)
- Weighted automata and multi-valued logics over arbitrary bounded lattices (Q764336) (← links)
- Profile trees for Büchi word automata, with application to determinization (Q897653) (← links)
- Relative categoricity in abelian groups. II (Q1012332) (← links)
- Interpolation in computing science: The semantics of modularization (Q1024120) (← links)
- (Q1192336) (redirect page) (← links)
- Quantifier elimination for modules with scalar variables (Q1192337) (← links)
- The theory of \(\langle \mathbb{N} , +, V_ k, V_ l\rangle\) is undecidable (Q1202930) (← links)
- Completely decomposable abelian groups \(\aleph_ 0\)-categorical over a subgroup (Q1204113) (← links)
- Extensions of elementary duality (Q1321049) (← links)
- Logic and \(p\)-recognizable sets of integers (Q1326952) (← links)
- Correction to: Logic and \(p\)-recognizable sets of integers (Q1344736) (← links)
- Some observations on holographic algorithms (Q1616615) (← links)
- Fly-automata for checking \(\mathrm{MSO}_2\) graph properties (Q1752502) (← links)
- Model theory of modules over a serial ring (Q1842127) (← links)
- Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems (Q1919534) (← links)
- An algebraic proof of Rabin's tree theorem (Q1951555) (← links)
- Preservation of normality by transducers (Q2064521) (← links)
- Logic for \(\omega\)-pushdown automata (Q2064532) (← links)
- Reachability relations of timed pushdown automata (Q2221811) (← links)
- Recognition of prime graphs from a prime subgraph (Q2449165) (← links)
- Abelian groups \(\aleph_ 0\)-categorical over a subgroup (Q2641294) (← links)
- The language of self-avoiding walks (Q2658381) (← links)
- Rational elements of summation semirings (Q2663048) (← links)
- A Logical Approach to Data-Aware Automated Sequence Generation (Q2889859) (← links)
- (Q3818310) (← links)
- (Q3837737) (← links)
- (Q3992263) (← links)
- Theories of modules closed under direct products (Q4032635) (← links)
- (Q4207891) (← links)
- Cobham's Theorem seen through Büchi's Theorem (Q4630271) (← links)
- (Q4708610) (← links)
- Joining k- and l-recognizable sets of natural numbers (Q5096772) (← links)
- (Q5458157) (← links)
- HOMOGENEITY AND FIX-POINTS: GOING FORTH! (Q5501774) (← links)
- Logic and rational languages of scattered and countable series-parallel posets (Q5919278) (← links)
- Completely decomposable abelian groups \(\aleph_ 0\)-categorical over a subgroup (Q5966713) (← links)
