Article Dans Une Revue
Journal of Logic and Computation
Année : 2017
Nicolas Peltier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01621380
Soumis le : lundi 23 octobre 2017-12:34:13
Dernière modification le : mercredi 18 décembre 2024-10:14:34
Citer
Alexander Leitsch, Nicolas Peltier, Daniel Weller. CERES for First-Order Schemata. Journal of Logic and Computation, 2017, 27 (7), pp.1897-1954. ⟨10.1093/logcom/exx003⟩. ⟨hal-01621380⟩
Collections
122
Consultations
0
Téléchargements