 |
 |
Article dans une revue
Sur la décidabilité de la logique du premier ordre monadique en Calcul des séquents
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
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