Communication Dans Un Congrès
Année : 2006
Delia KESNER : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00148844
Soumis le : mercredi 23 mai 2007-14:28:14
Dernière modification le : vendredi 24 mars 2023-14:52:48
Dates et versions
Identifiants
- HAL Id : hal-00148844 , version 1
Citer
Roy Dyckhoff, Delia Kesner, Stéphane Lengrand. Strong cut-elimination systems for Hudelmaier's depth-bounded sequent calculus for implicational logic. International Joint Conference on Automated Reasoning (IJCAR), 2006, Seattle, United States. pp.347--361. ⟨hal-00148844⟩
Collections
37
Consultations
0
Téléchargements