![]() |
| 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) | |
| 1 | Nicolas Bedon | [10] |
| 2 | Olivier Carton | [7] [8] [10] |
| 3 | Denis Richard | [3] |
| 4 | Chloe Rispal | [10] |
| 5 | Jef Wijsen | [5] [6] |