Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

Sur la décidabilité de la logique du premier ordre monadique en Calcul des séquents

Type de document :
Article dans une revue
Liste complète des métadonnées

https://hal-univ-lyon3.archives-ouvertes.fr/hal-01787572
Contributeur : Jean-Baptiste Joinet Connectez-vous pour contacter le contributeur
Soumis le : lundi 7 mai 2018 - 16:20:25
Dernière modification le : lundi 6 décembre 2021 - 16:30:03

Identifiants

  • HAL Id : hal-01787572, version 1

Collections

Citation

Jean-Baptiste Joinet. Sur la décidabilité de la logique du premier ordre monadique en Calcul des séquents. O que nos faz pensar, Pontifica Universidade PUC-Rio, 2017, 25 (39), pp.55-69. ⟨hal-01787572⟩

Partager

Métriques

Les métriques sont temporairement indisponibles