https://hal-univ-lyon3.archives-ouvertes.fr/hal-01787572
Contributeur : Jean-Baptiste Joinet
<>
Soumis le : lundi 7 mai 2018 - 16:20:25
Dernière modification le : jeudi 21 mars 2019 - 09:26:05
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〉
