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