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