Article Dans Une Revue
Theoretical Computer Science
Année : 2013
Dale Miller : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00787586
Soumis le : mardi 12 février 2013-14:25:35
Dernière modification le : mercredi 9 août 2023-09:40:15
Citer
Dale Miller, Elaine Pimentel. A formal framework for specifying sequent calculus proof systems. Theoretical Computer Science, 2013, pp.98-116. ⟨10.1016/j.tcs.2012.12.008⟩. ⟨hal-00787586⟩
180
Consultations
0
Téléchargements