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 〈 ω ω λ ;× 〉	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

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: Alexis Bès