Communication Dans Un Congrès
Année : 2006
Brigitte Bidegaray-Fesquet : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00171561
Soumis le : mercredi 12 septembre 2007-15:57:33
Dernière modification le : jeudi 4 avril 2024-20:53:38
Dates et versions
Identifiants
- HAL Id : hal-00171561 , version 1
Citer
Dominique Duval, Jean-Claude Reynaud. Dynamic logic and exceptions: an introduction. Mathematics, Algorithms, Proofs, Jan 2005, Dagstuhl, Germany. pp.3931-39313. ⟨hal-00171561⟩
66
Consultations
0
Téléchargements