Roger Villemaire

From MaRDI portal
Person:420851

Available identifiers

zbMath Open villemaire.rogerMaRDI QIDQ420851

List of research outcomes





PublicationDate of PublicationType
Quantified Boolean Solving for Achievement Games2023-03-29Paper
Joining k- and l-recognizable sets of natural numbers2022-08-18Paper
Cobham's Theorem seen through Büchi's Theorem2019-03-29Paper
HOMOGENEITY AND FIX-POINTS: GOING FORTH!2015-08-14Paper
Recognition of prime graphs from a prime subgraph2014-05-06Paper
A logical approach to data-aware automated sequence generation2012-06-08Paper
Reasoning about visibility2012-05-23Paper
Theories of abelian groups and modules preserved under extensions2008-04-11Paper
https://portal.mardi4nfdi.de/entity/Q47086102003-06-18Paper
https://portal.mardi4nfdi.de/entity/Q38377371997-07-01Paper
Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems1997-03-11Paper
Correction to: Logic and \(p\)-recognizable sets of integers1995-03-26Paper
Logic and \(p\)-recognizable sets of integers1995-01-22Paper
Completely decomposable abelian groups \(\aleph_ 0\)-categorical over a subgroup1993-09-01Paper
Completely decomposable abelian groups \(\aleph_ 0\)-categorical over a subgroup1993-09-01Paper
The theory of \(\langle \mathbb{N} , +, V_ k, V_ l\rangle\) is undecidable1993-04-22Paper
Theories of modules closed under direct products1993-04-01Paper
https://portal.mardi4nfdi.de/entity/Q39922631992-08-13Paper
Abelian groups \(\aleph_ 0\)-categorical over a subgroup1990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q42078911989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38183101988-01-01Paper

Research outcomes over time

This page was built for person: Roger Villemaire