COMS-05:vasco-87

D. Duval, J.-C. Reynaud. Diagramatic logic and exceptions: an introduction. In Proc. of the Dagstuhl Seminar 05021, Materials, Mathematics, Algorithms, Proofs, http://www.dagstuhl.de/05021/, Janvier 2005.

Contact

Jean-Claude Reynaud

Référence BibTex

@InProceedings{COMS-05:vasco-87,
   Author = {Duval, D. and Reynaud, J.-C.},
   Title = {{Diagramatic logic and exceptions: an introduction}},
   BookTitle = {{Proc. of the Dagstuhl Seminar 05021, Materials, Mathematics, Algorithms, Proofs}},
   Month = {January},
   Year = {2005}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)