Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Jerome Fortier

est l'auteur d'une thèse

Algèbres initiales Automates à pile d'ordre supérieur Catégories µ-Bicomplètes Coalgèbres finales Déduction Informatique -- Mathématiques Logique catégorique Logique mathématique Points fixes Preuves circulaires Théorie de la démonstration Élimination des coupures

Fullscreen

Algèbres initiales Automates à pile d'ordre supérieur Catégories µ-Bicomplètes Coalgèbres finales Déduction Informatique -- Mathématiques Logique catégorique Logique mathématique Points fixes Preuves circulaires Théorie de la démonstration Élimination des coupures

Jerome Fortier a rédigé la thèse suivante :

Puissance expressive des preuves circulaires

par Jerome Fortier sous la direction de Luigi Santocanale et de Srecko Brlek . - Aix-Marseille

Informatique

Soutenue le 19-12-2014

Thèse soutenue

Accéder en ligne