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
https://portal.mardi4nfdi.de/entity/Q5458157	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Roger Villemaire