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

Pierre Lescanne

Article Dans Une Revue Images des Mathématiques Année : 2009

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

(1)

Pierre Lescanne

Fonction : Auteur
PersonId : 7069
IdHAL : pierre-lescanne
ORCID : 0000-0001-9512-5276
IdRef : 034011382

Laboratoire de l'Informatique du Parallélisme

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

Est-ce_que_A_a_s_arrA_te_.pdf (878.47 Ko)

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 : vendredi 5 avril 2024-16:22:43

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

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

132 Consultations

56 Téléchargements

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

Résumé

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager