 | 2012 |
|---|
| 17 |       | Alexis Bès,
Alexander Rabinovich:
On countable chains having decidable monadic theory.
J. Symb. Log. 77(2): 593-608 (2012) |
| 2011 |
|---|
| 16 | | Alexis Bès,
Olivier Carton:
Algebraic Characterization of FO for Scattered Linear Orderings.
CSL 2011: 67-81 |
| 15 | | Alexis Bès,
Alexander Rabinovich:
Decidable Expansions of Labelled Linear Orderings
Logical Methods in Computer Science 7(2): (2011) |
| 2010 |
|---|
| 14 | | Alexis Bès,
Alexander Rabinovich:
Decidable Expansions of Labelled Linear Orderings.
Fields of Logic and Computation 2010: 95-107 |
| 13 | | Nicolas Bedon,
Alexis Bès,
Olivier Carton,
Chloe Rispal:
Logic and Rational Languages of Words Indexed by Linear Orderings.
Theory Comput. Syst. 46(4): 737-760 (2010) |
| 2008 |
|---|
| 12 | | Nicolas Bedon,
Alexis Bès,
Olivier Carton,
Chloe Rispal:
Logic and Rational Languages of Words Indexed by Linear Orderings.
CSR 2008: 76-85 |
| 11 | | Alexis Bès:
An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet
CoRR abs/0801.2498: (2008) |
| 10 | | Alexis Bès,
Patrick Cégielski:
Weakly maximal decidable structures.
ITA 42(1): 137-145 (2008) |
| 9 | | Alexis Bès:
An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet.
Logical Methods in Computer Science 4(1): (2008) |
| 2006 |
|---|
| 8 | | Alexis Bès,
Olivier Carton:
A Kleene Theorem for Languages of Words Indexed by Linear Orderings.
Int. J. Found. Comput. Sci. 17(3): 519-542 (2006) |
| 2005 |
|---|
| 7 | | Alexis Bès,
Olivier Carton:
A Kleene Theorem for Languages of Words Indexed by Linear Orderings.
Developments in Language Theory 2005: 158-167 |
| 2003 |
|---|
| 6 |  | Jef Wijsen,
Alexis Bès:
On query optimization in a temporal SPC algebra.
Data Knowl. Eng. 44(2): 165-192 (2003) |
| 2001 |
|---|
| 5 | | Jef Wijsen,
Alexis Bès:
Temporal Tableau Queries.
TIME 2001: 136-143 |
| 2000 |
|---|
| 4 | | Alexis Bès:
An Extension of The Cobham-Semënov Theorem.
J. Symb. Log. 65(1): 201-211 (2000) |
| 1998 |
|---|
| 3 | | Alexis Bès,
Denis Richard:
Undecidable Extensions of Skolem Arithmetic.
J. Symb. Log. 63(2): 379-401 (1998) |
| 1997 |
|---|
| 2 | | Alexis Bès:
On Pascal Triangles Modulo a Prime Power.
Ann. Pure Appl. Logic 89(1): 17-35 (1997) |
| 1 | | Alexis Bès:
Undecidable Extensions of Büchi Arithmetic and Cobham-Semënov Theorem.
J. Symb. Log. 62(4): 1280-1296 (1997) |
Data released under the ODC-BY 1.0 license — See also our legal information page