Roger Villemaire

MaRDI QIDQ420851zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Quantified Boolean Solving for Achievement Games	2023-03-29	Paper
Joining \(k\)- and \(l\)-recognizable sets of natural numbers STACS 92	2022-08-18	Paper
Cobham's Theorem seen through Büchi's Theorem Automata, Languages and Programming	2019-03-29	Paper
HOMOGENEITY AND FIX-POINTS: GOING FORTH! Journal of Symbolic Logic	2015-08-14	Paper
Recognition of prime graphs from a prime subgraph Discrete Mathematics	2014-05-06	Paper
A logical approach to data-aware automated sequence generation Transactions on Computational Science XV	2012-06-08	Paper
Reasoning about visibility Journal of Applied Logic	2012-05-23	Paper
Theories of abelian groups and modules preserved under extensions	2008-04-11	Paper
scientific article; zbMATH DE number 1929975 (Why is no real title available?)	2003-06-18	Paper
scientific article; zbMATH DE number 956480 (Why is no real title available?)	1997-07-01	Paper
Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems Annals of Pure and Applied Logic	1997-03-11	Paper
Correction to: Logic and \(p\)-recognizable sets of integers Bulletin of the Belgian Mathematical Society - Simon Stevin	1995-03-26	Paper
Logic and \(p\)-recognizable sets of integers Bulletin of the Belgian Mathematical Society - Simon Stevin	1995-01-22	Paper
Completely decomposable abelian groups \(\aleph_ 0\)-categorical over a subgroup Archive for Mathematical Logic	1993-09-01	Paper
Completely decomposable abelian groups \(\aleph_ 0\)-categorical over a subgroup Archive for Mathematical Logic	1993-09-01	Paper
The theory of \(\langle \mathbb{N} , +, V_ k, V_ l\rangle\) is undecidable Theoretical Computer Science	1993-04-22	Paper
Theories of modules closed under direct products Journal of Symbolic Logic	1993-04-01	Paper
scientific article; zbMATH DE number 39360 (Why is no real title available?)	1992-08-13	Paper
Abelian groups \(\aleph_ 0\)-categorical over a subgroup Journal of Pure and Applied Algebra	1990-01-01	Paper
scientific article; zbMATH DE number 4128798 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4089538 (Why is no real title available?)	1988-01-01	Paper

Research outcomes over time

This page was built for person: Roger Villemaire