Alfred V. Aho, John E. Hopcroft, and Jeffrey D. Ullman. _The Design and Analysis of Computer Algorithms_. Addison-Wesley, 1974. * dispo : [681.32 AHO] Alfred Aho, Ravi Sethi, and Jeffrey Ullman. _Compilateurs : Principes, techniques et outils_. Dunod, 2000. ISBN 2-7296-0295-X. Traduction de _Compilers_, Addison Wesley, 1986. ISBN 0-201-10194-7. * dispo : [681.34 AHO] Franz Baader and Tobias Nipkow. _Term rewriting and all that_, Cambridge University Press, 1998. * disponible : [681.31 BAA] Danièle Beauquier, Jean Berstel, and Philippe Chrétienne. _Éléments d'algorithmique_. Masson, 1992. * dispo : [681.32 BEA] Olivier Carton. _Langages formels, calculabilité et complexité_. Vuibert, 2008. * dispo : [681.31 CAR] Serenella Cerrito. _Logique pour l'informatique - introduction à la déduction automatique_. Vuibert, 2008. ISBN 978-2-7117-2069-9. * dispo : [681.34 CER] René Cori. _Logique mathématique - cours et exercices_. Vol. 2 _Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles_. Masson, 1992. ISBN 2-225-84080-6. * dispo : [511.1 COR], assez peu utilisé... Thomas H. Cormen, Charles E. Leiserson, and Ronald L. Rivest. _Introduction à l'algorithmique_. 2e édition, Dunod, 2002. _Introduction to Algorithms_. 3rd edition, MIT Press, 2009. * dispo : [681.32 COR] et [681.32 INT] Maxime Crochemore and Wojciech Rytter. _Text Algorithms_, Oxford University Press, 1994. * disponible : [681.32 CRO] Sanjoy Dasgupta, Christos Papadimitriou, and Umesh Vazirani. _Algorithms_ McGraw-Hill, 2008. * dispo : [681.32 DAS] René David, Karim Nour and Christophe Raffalli. _Introduction à la logique - théorie de la démonstration_. Dunod, 2001. ISBN 2-10-004892-9. (Aussi Dunod, 2004, ISBN 2-10-006796-6.) * dispos : [511.1 DAV] Shimon Even. _Graph Algorithms_, London Pitman, 1979. * disponible : [681.32 EVE] Michael R. Garey and David S. Johnson. _Computers and Intractability - a Guide to the Theory of NP-Completeness_. W. H. Freeman, 1979. ISBN 0-7167-1045-5. * dispo : [681.32 GAR] Jean Goubault-Larrecq and Ian Mackie. _Proof Theory and Automated Deduction_. Kluwer, 1997. ISBN 0-7923-4593-2. * dispo au dpt info et [681.31 GOU] Dick Grune, Henri E. Bals, Ceriel J.H. Jacobs et Koen G. Langendoen. _Compilateurs_. Dunod, 2002. ISBN 2-10-005887-8. (Traduction de _Modern Compiler Design_, John Wiley & Sons, 2000.) * dispo : [681.34 COM] Michael A. Harrison. _Introduction to Formal Language Theory_. Addison Wesley, 1978. ISBN 0-201-02955-3. * dispo : [681.31 HAR] John E. Hopcroft and Jeffrey D. Ullman. _Introduction to Automata Theory, Languages, and Computation_. Addison Wesley, 1979. * dispo : [681.31 HOP]. Il existe une 2e édition avec Rajeev Motwani, Addison Wesley, 2001, ISBN 0-321-21029-8, mais elle est moins bien. Jon Kleinberg and Éva Tardos. _Algorithm Design_. Addison Wesley, 2006. * dispo : [681.32 KLE] Dexter C. Kozen. _Automata and Computability_. Springer, 1987. ISBN 0-387-94907-0. * dispo [681.31 KOZ] René Lalement. _Logique, réduction, résolution_. Masson, 1990. ISBN 2-225-82104-6. * dispo : [681.31 LAL] Christos H. Papadimitriou. _Computational Complexity_. Addison-Wesley, 1995. ISBN 0-201-53082-1. * dispo : [681.31 PAP] Sylvain Perifel. _Complexité algorithmique_. Ellipses, 2014. ISBN 978-2-7298-8692-9. * à commander Jacques Sakarovitch. _Éléments de théorie des automates_. Vuibert, 2003. ISBN 2-7117-4807-3. * dispo : [681.31 SAK] Robert Sedgewick et Philippe Flajolet. _Introduction à l'analyse des algorithmes_. International Thomson publ. 1996. ISBN 2-84180-957-9. * dispo [681.32 SED] Michael Sipser. _Introduction to the Theory of Computation_. PWS Publishing, 1997. ISBN 0-534-94728-X. * dispo : [681.31 SIP]. Glynn Winskel. _The Formal Semantics of Programming Languages_. MIT Press, 1993. * dispo : [681.34 WIN]