Est-ce que ça s'arrête ? - Archive ouverte HAL
Article Dans Une Revue Images des Mathématiques Année : 2009

Est-ce que ça s'arrête ?

Pierre Lescanne
Laboratoire de l'Informatique du Parallélisme
CV

Résumé

Nous présentons divers problèmes de terminaison, dont la solution est plus ou moins facile et nous évoquons les applications de la terminaison en logique mathématique et en informatique.

Domaines

Combinatoire [math.CO] Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
Est-ce_que_A_a_s_arrA_te_.pdf (878.47 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Marie-Annick Guillemer  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00583742

Soumis le : mercredi 6 avril 2011-14:50:05

Dernière modification le : mardi 12 novembre 2024-15:20:06

Archivage à long terme le : jeudi 7 juillet 2011-02:53:45

Télécharger pour visualiser

Dates et versions

hal-00583742 , version 1 (06-04-2011)

Identifiants

  • HAL Id : hal-00583742 , version 1

Citer

Pierre Lescanne. Est-ce que ça s'arrête ?. Images des Mathématiques, 2009, http://images.math.cnrs.fr/Est-ce-que-ca-s-arrete.html. ⟨hal-00583742⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 IDM UDL
152 Consultations
72 Téléchargements

Partager

More