Search the dblp DataBase

Publications of Author

1. Alexis Bès, Olivier Carton
   A Kleene Theorem for Languages of Words Indexed by Linear Orderings. [Citation Graph (0, 0)][DBLP]
   Developments in Language Theory, 2005, pp:158-167 [Conf]
   
2. Jef Wijsen, Alexis Bès
   Temporal Tableau Queries. [Citation Graph (0, 0)][DBLP]
   TIME, 2001, pp:136-143 [Conf]
   
3. Alexis Bès
   On Pascal Triangles Modulo a Prime Power. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1997, v:89, n:1, pp:17-35 [Journal]
   
4. Jef Wijsen, Alexis Bès
   On query optimization in a temporal SPC algebra. [Citation Graph (0, 0)][DBLP]
   Data Knowl. Eng., 2003, v:44, n:2, pp:165-192 [Journal]
   
5. Alexis Bès, Olivier Carton
   A Kleene Theorem for Languages of Words Indexed by Linear Orderings. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2006, v:17, n:3, pp:519-542 [Journal]
   
6. Alexis Bès
   An Extension of The Cobham-Semënov Theorem. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2000, v:65, n:1, pp:201-211 [Journal]
   
7. Alexis Bès
   Undecidable Extensions of Büchi Arithmetic and Cobham-Semënov Theorem. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1997, v:62, n:4, pp:1280-1296 [Journal]
   
8. Alexis Bès, Denis Richard
   Undecidable Extensions of Skolem Arithmetic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1998, v:63, n:2, pp:379-401 [Journal]
   
9. 
   Decidable Expansions of Labelled Linear Orderings. [Citation Graph (, )][DBLP]
   
   
10. 
    Logic and Rational Languages of Words Indexed by Linear Orderings. [Citation Graph (, )][DBLP]
    
    
11. 
    An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet [Citation Graph (, )][DBLP]