Warning, /office/kbibtex-testset/bib/in-the-wild/squelette.bib is written in an unsupported language. File is not indexed.
0001 % Time-stamp: <lfcc.bib 1 Aug 2006 09:49:18>
0002 % $Id: lfcc.bib,v 1.6 2006/02/10 07:50:42 carton Exp $
0003
0004 % Références sur la combinatoire des mots
0005 @Book{Lothaire83,
0006 author = {M. Lothaire},
0007 title = {Combinatorics on Words},
0008 publisher = {Addison-Wesley},
0009 series = {Encyclopedia of Mathematics and its Applications},
0010 volume = 17,
0011 address = {Reading, MA},
0012 year = 1983
0013 }
0014
0015 @InBook{Cassaigne02,
0016 author = {J. Cassaigne},
0017 title = {Algebraic Combinatorics on Words},
0018 chapter = {Unavoidable patterns},
0019 publisher = {Cambridge University Press},
0020 year = 2002
0021 }
0022
0023 % Références sur les automates
0024 @Book{BeauquierBerstelChretienne93,
0025 author = {G. Beauquier and J. Berstel and P. Chr{\'e}tienne},
0026 title = {{\'E}l{\'e}ments d'algorithmique},
0027 publisher = {Masson},
0028 year = 1993,
0029 url = {http://www-igm.univ-mlv.fr/~berstel/Elements/Elements.html}
0030 }
0031
0032 @Book{BerstelPerrin84,
0033 author = {J. Berstel and D. Perrin},
0034 title = {Theory of Codes},
0035 publisher = {Academic Press},
0036 year = 1984
0037 }
0038
0039 @Book{Eilenberg72,
0040 author = {S. Eilenberg},
0041 title = {Automata, Languages and Machines},
0042 publisher = {Academic Press},
0043 year = 1972,
0044 volume = {A},
0045 address = {New York}
0046 }
0047
0048 @Book{Eilenberg76,
0049 author = {S. Eilenberg},
0050 title = {Automata, Languages and Machines},
0051 publisher = {Academic Press},
0052 year = 1976,
0053 volume = {B},
0054 address = {New York}
0055 }
0056
0057 @Book{HopcroftUllmann79,
0058 author = {J. E. Hopcroft and J. D. Ullman},
0059 title = {Introduction to Automata Theory, Languages and Computation},
0060 publisher = {Addison-Wesley},
0061 year = 1979
0062 }
0063
0064 @InCollection{Perrin90,
0065 author = {D. Perrin},
0066 title = {Finite automata},
0067 booktitle = {Handbook of Theoretical Computer Science},
0068 publisher = {Elsevier},
0069 year = 1990,
0070 editor = {J. van Leeuwen},
0071 volume = {B},
0072 chapter = 1,
0073 pages = {1--57}
0074 }
0075
0076 @Book{Almeida94,
0077 author = {J. Almeida},
0078 title = {Finite Semigroups and Universal Algebra},
0079 publisher = {World Scientific},
0080 year = 1994
0081 }
0082
0083 @Book{Pin84,
0084 author = {J.-{\'E}. Pin},
0085 title = {Vari{\'e}t{\'e}s de Langages Formels},
0086 publisher = {Masson},
0087 year = 1984
0088 }
0089
0090 @Book{Sakarovitch03,
0091 author = {J. Sakarovitch},
0092 title = {{\'E}l{\'e}ments de th{\'e}orie des automates},
0093 publisher = {Vuibert},
0094 year = 2003
0095 }
0096
0097 @Book{Straubing94,
0098 author = {H. Straubing},
0099 title = {Finite Automata, Formal Logic and Circuits Complexity},
0100 publisher = {Birkh{\"a}user},
0101 year = 1994,
0102 series = {Progress in theoretical computer science}
0103 }
0104
0105 @Book{TrachtenBarzdin73,
0106 author = {B.A. Trachtenbrot and Y.M. Barzdin},
0107 title = {Finite Automata},
0108 publisher = {North Holland},
0109 year = 1973
0110 }
0111
0112 % Théorie des modèles
0113 @Book{Libkin04,
0114 author = {L. Libkin},
0115 title = {Elements of Finite Model theory},
0116 publisher = {Springer},
0117 year = 2004
0118 }
0119
0120 % Références sur la combinatoire
0121 @Book{VanLintWilson92,
0122 author = {J. H. van Lint and R. M. Wilson},
0123 title = {A Course in Combinatorics},
0124 publisher = {Cambridge University Press},
0125 year = 1992
0126 }
0127
0128 % Références sur les langages algébriques
0129 @Book{Autebert87,
0130 author = {J.-M. Autebert},
0131 title = {Langages alg{\'e}briques},
0132 publisher = {Masson},
0133 year = 1987
0134 }
0135
0136 @InCollection{AutebertBerstelBoasson97,
0137 author = {J.-M. Autebert and J. Berstel and L. Boasson},
0138 title = {Context-Free Languages and PushDown Automata},
0139 booktitle = {Handbook of formal languages},
0140 pages = {111-174},
0141 publisher = {Springer},
0142 year = 1997,
0143 volume = 1,
0144 url = {http://www-igm.univ-mlv.fr/~berstel/Articles/CFLPDA.ps}
0145 }
0146
0147 @Book{AutebertBoasson88,
0148 author = {J.-M. Autebert and L. Boasson},
0149 title = {Transductions Rationnelles : Application aux Langages
0150 Algébriques},
0151 publisher = {Masson},
0152 year = 1988,
0153 address = {Paris}
0154 }
0155
0156
0157 @Book{Berstel79,
0158 author = {J. Berstel},
0159 title = {Transductions and Context-Free Languages},
0160 publisher = {B.G. Teubner},
0161 year = 1979
0162 }
0163
0164 @InCollection{BerstelBoasson90,
0165 author = {J. Bestel and L. Boasson},
0166 title = {Context-Free Languages},
0167 booktitle = {Handbook of Theoretical Computer Science},
0168 publisher = {Elsevier},
0169 year = 1990,
0170 editor = {J. van Leeuwen},
0171 volume = {B},
0172 chapter = 2,
0173 pages = {59--102}
0174 }
0175
0176 % Références sur la calculabilité et la complexité
0177 @Book{Sipser97,
0178 author = {M. Sipser},
0179 title = {Introduction to the Theory of Computation},
0180 publisher = {PWS publishing Company},
0181 year = 1997
0182 }
0183
0184 @Book{Autebert92,
0185 author = {J.-M. Autebert},
0186 title = {Calculabilité et Décidabilité},
0187 publisher = {Masson},
0188 year = 1992
0189 }
0190
0191 @Book{Wolper91,
0192 author = {P. Wolper},
0193 title = {Introduction à la calculabilité},
0194 publisher = {InterÉditions},
0195 year = 1991
0196 }
0197
0198 @Book{Kozen97,
0199 author = {D. C. Kozen},
0200 title = {Automata and Computability},
0201 publisher = {Springer},
0202 year = 1997
0203 }
0204
0205 @Book{HindleySeldin86,
0206 author = {J. R. Hindley and J. P. Seldin},
0207 title = {Introduction to Combinators and {$\lambda$}-calculus},
0208 publisher = {Cambridge University Press},
0209 year = 1986
0210 }
0211
0212 @Book{LewisPapadimitriou81,
0213 author = {H. R. Lewis and C. Papadimitriou},
0214 title = {Elements of the theory of computation},
0215 publisher = {Prentice-Hall},
0216 year = 1981
0217 }
0218
0219 @Book{Papadimitriou95,
0220 author = {C. Papadimitriou},
0221 title = {Computational complexity},
0222 publisher = {Addison-Wesley},
0223 year = 1995
0224 }
0225
0226 @Book{GareyJohnson79,
0227 author = {M. Garey and D. Johnson},
0228 title = {Computers and intractability},
0229 publisher = {W.H. Freeman {\&} Co},
0230 year = 1979
0231 }
0232
0233 @Book{Welsh88,
0234 author = {D. Welsh},
0235 title = {Codes and Cryptography},
0236 publisher = {Clarendon Press},
0237 year = 1988
0238 }
0239
0240
0241 @Book{Rey04,
0242 author = {J.-F. Rey},
0243 title = {Calculablit{\'e}, Complexit{\'e} et Approximation},
0244 publisher = {Vuibert},
0245 year = 2004
0246 }
0247
0248 @Book{Stern90,
0249 author = {J. Stern},
0250 title = {Fondements mathématiques de l'informatique},
0251 publisher = {McGraw-Hill},
0252 year = 1990
0253 }
0254