Alexis Bès

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Decidability of Definability Issues in the Theory of Real Addition	2023-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q5009704	2021-08-05	Paper
Decidability of definability issues in the theory of real addition	2021-02-11	Paper
\(\langle\mathbb{R},+,<,1\rangle\) is decidable in \(\langle \mathbb{R},+,<,\mathbb{Z}\rangle\)	2020-07-27	Paper
Theories of real addition with and without a predicate for integers	2020-02-11	Paper
Complexity and (un)decidability of fragments of \(\langle \omega^{\omega^{\lambda}};\times\rangle\)	2019-06-14	Paper
Decidability of the existential fragment of some infinitely generated trace monoids: an application to ordinals	2018-05-08	Paper
Expansions of MSO by cardinality relations	2014-01-08	Paper
Algebraic characterization of FO for scattered linear orderings	2012-09-18	Paper
On countable chains having decidable monadic theory	2012-06-19	Paper
Decidable expansions of labelled linear orderings	2011-05-26	Paper
Decidable expansions of labelled linear orderings	2010-09-03	Paper
Logic and rational languages of words indexed by linear orderings	2010-08-13	Paper
Nonmaximal decidable structures	2010-01-15	Paper
An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet	2008-08-07	Paper
Weakly maximal decidable structures	2008-07-21	Paper
Logic and Rational Languages of Words Indexed by Linear Orderings	2008-06-05	Paper
A KLEENE THEOREM FOR LANGUAGES OF WORDS INDEXED BY LINEAR ORDERINGS	2006-08-14	Paper
Developments in Language Theory	2006-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q4781602	2003-07-14	Paper
Decidability and definability results related to the elementary theory of ordinal multiplication	2002-02-21	Paper
An extension of the Cobham-Semënov Theorem	2001-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q3842688	1999-02-04	Paper
Undecidable extensions of Skolem arithmetic	1998-10-07	Paper
Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem	1998-09-21	Paper
On Pascal triangles modulo a prime power	1998-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q4717487	1997-02-24	Paper

Research outcomes over time

This page was built for person: Alexis Bès