Communication Dans Un Congrès Année : 2010

Deflating semantical consistency proofs

Mots clés

Fichier non déposé

Dates et versions

halshs-00792200 , version 1 (21-02-2013)

Identifiants

  • HAL Id : halshs-00792200 , version 1

Citer

Henri Galinon. Deflating semantical consistency proofs. Sémantique, Sémantiques, Oct 2010, Paris, France. ⟨halshs-00792200⟩
61 Consultations
0 Téléchargements

Partager

  • More