Contributions de l’utilisateur
- 31 mars 2015 à 14:21 (diff | hist) . . (0) . . N Fichier:Dvt terminaison.pdf (actuel)
- 31 mars 2015 à 14:21 (diff | hist) . . (+754) . . N Indécidabilité de la terminaison d'un système de réécriture (Page créée avec « On montre que le problème de la terminaison d'un système de réécriture est indécidable. ==Développement== *24px Média:dvt_termi... ») (actuel)
- 31 mars 2015 à 14:15 (diff | hist) . . (+71) . . Développements par thèmes (→Décidabilité & Calculabilité)
- 31 mars 2015 à 14:13 (diff | hist) . . (0) . . N Fichier:Dvt ordre de simplifaction.pdf (actuel)
- 31 mars 2015 à 14:12 (diff | hist) . . (+107) . . Ordre de simplification / Lemme de Highman / Théorème de Kruskal (→Développement) (actuel)
- 31 mars 2015 à 14:04 (diff | hist) . . (+342) . . N Ordre de simplification / Lemme de Highman / Théorème de Kruskal (Page créée avec « On montre avec beaucoup d'efforts pour un développement, qu'un ordre de simplification et une signature finie entraînent la bien-fondaison. ==Recasement== * 919 ? --... »)
- 31 mars 2015 à 13:57 (diff | hist) . . (+73) . . Développements par thèmes (→Réécriture)
- 31 mars 2015 à 13:54 (diff | hist) . . (-184) . . Théorème de Higman (→Développement) (actuel)
- 31 mars 2015 à 12:00 (diff | hist) . . (+184) . . Théorème de Higman (→Développement)
