dblp.uni-trier.dewww.uni-trier.de

Alexis Bès Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
11EENicolas Bedon, Alexis Bès, Olivier Carton, Chloe Rispal: Logic and Rational Languages of Words Indexed by Linear Orderings. CSR 2008: 76-85
10EEAlexis Bès: An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet CoRR abs/0801.2498: (2008)
9EEAlexis 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
8EEAlexis 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
7EEAlexis 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
5EEJef 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)

Coauthor Index

1Nicolas Bedon [11]
2Olivier Carton [7] [8] [11]
3Denis Richard [3]
4Chloe Rispal [11]
5Jef Wijsen [5] [6]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)