Communication Dans Un Congrès
Année : 2008
Alexis Saurin : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00527893
Soumis le : mercredi 20 octobre 2010-15:31:47
Dernière modification le : jeudi 15 février 2024-03:31:53
Citer
Alexis Saurin, Kaustuv C. Chaudhuri, Dale Miller. Canonical Sequent Proofs via Multi-Focusing. Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, Sep 2008, Milano, Italy. pp.383-396, ⟨10.1007/978-0-387-09680-3_26⟩. ⟨hal-00527893⟩
Collections
180
Consultations
0
Téléchargements