| 2008 |
|---|
| 10 | EE | Nicolas Bedon,
Alexis Bès,
Olivier Carton,
Chloe Rispal:
Logic and Rational Languages of Words Indexed by Linear Orderings.
CSR 2008: 76-85 |
| 9 | EE | 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) |
| 2006 |
|---|
| 8 | EE | 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 | EE | 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 | EE | 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) |
