« Précédent | Suivant » 

Révision 79

Ajouté par Patrick Baillot il y a plus de 9 ans

Added 2 lemmas in sect 3 for the proof of free-cut elimination

Fichiers

  • ajouté
  • modifié
  • copié
  • renommé
  • supprimé

Voir les différences