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 : jeudi 4 avril 2024-18:21:02
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
114
Consultations
0
Téléchargements