Article Dans Une Revue
O que nos faz pensar
Année : 2017
Jean-Baptiste Joinet : Connectez-vous pour contacter le contributeur
https://univ-lyon3.hal.science/hal-01787572
Soumis le : lundi 7 mai 2018-16:20:25
Dernière modification le : lundi 8 avril 2024-15:56:17
Dates et versions
Identifiants
- HAL Id : hal-01787572 , version 1
Citer
Jean-Baptiste Joinet. Sur la décidabilité de la logique du premier ordre monadique en Calcul des séquents. O que nos faz pensar, 2017, 25 (39), pp.55-69. ⟨hal-01787572⟩
Collections
54
Consultations
0
Téléchargements