Roger Villemaire

Available identifiers

zbMath Open villemaire.rogerMaRDI QIDQ420851

List of research outcomes

Publication	Date of Publication	Type
Quantified Boolean Solving for Achievement Games	2023-03-29	Paper
Joining k- and l-recognizable sets of natural numbers	2022-08-18	Paper
Cobham's Theorem seen through Büchi's Theorem	2019-03-29	Paper
HOMOGENEITY AND FIX-POINTS: GOING FORTH!	2015-08-14	Paper
Recognition of prime graphs from a prime subgraph	2014-05-06	Paper
A logical approach to data-aware automated sequence generation	2012-06-08	Paper
Reasoning about visibility	2012-05-23	Paper
Theories of abelian groups and modules preserved under extensions	2008-04-11	Paper
https://portal.mardi4nfdi.de/entity/Q4708610	2003-06-18	Paper
https://portal.mardi4nfdi.de/entity/Q3837737	1997-07-01	Paper
Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems	1997-03-11	Paper
Correction to: Logic and \(p\)-recognizable sets of integers	1995-03-26	Paper
Logic and \(p\)-recognizable sets of integers	1995-01-22	Paper
Completely decomposable abelian groups \(\aleph_ 0\)-categorical over a subgroup	1993-09-01	Paper
Completely decomposable abelian groups \(\aleph_ 0\)-categorical over a subgroup	1993-09-01	Paper
The theory of \(\langle \mathbb{N} , +, V_ k, V_ l\rangle\) is undecidable	1993-04-22	Paper
Theories of modules closed under direct products	1993-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q3992263	1992-08-13	Paper
Abelian groups \(\aleph_ 0\)-categorical over a subgroup	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4207891	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3818310	1988-01-01	Paper

Research outcomes over time

This page was built for person: Roger Villemaire