CERES for First-Order Schemata - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Logic and Computation Année : 2017
Fichier non déposé

Dates et versions

hal-01621380 , version 1 (23-10-2017)

Identifiants

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⟩
114 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More