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] |