Décidabilité et ComplexitéReport as inadecuate




Décidabilité et Complexité - Download this document for free, or read online. Document in PDF available to download.

* Corresponding author 1 LIX - Laboratoire d-informatique de l-École polytechnique Palaiseau 2 MOSTRARE - Modeling Tree Structures, Machine Learning, and Information Extraction LIFL - Laboratoire d-Informatique Fondamentale de Lille, Inria Lille - Nord Europe 3 LIFL - Laboratoire d-Informatique Fondamentale de Lille 4 GRAppA - LIFL - Groupe de Recherche en Apprentissage Automatique 5 LIAFA - Laboratoire d-informatique Algorithmique : Fondements et Applications 6 CARTE - Theoretical adverse computations, and safety Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods 7 PPS - Preuves, Programmes et Systèmes 8 Leibniz - IMAG - Laboratoire Leibniz 9 OUCL - Computing Laboratory

Résumé : L-informatique fondamentale est un vaste sujet, comme en témoignent les 2 283 et 3 176 pages des -Handbooks- 228; 1. Couvrir en quelques dizaines de pages, l-ensemble de l-in- formatique nous a semblé une entreprise hors de notre portée. De ce fait, nous nous sommes concentrés sur la notion de calcul, sujet qui reflète le goût et la passion des auteurs de ce chapitre. La notion de calcul est omniprésente et aussi ancienne que les mathématiques.





Author: Olivier Bournez - Gilles Dowek - Rémi Gilleron - Serge Grigorieff - Jean-Yves Marion - Simon Perdrix - Sophie Tison -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents