Communication Dans Un Congrès
Année : 2001
Areces Carlos : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00000334
Soumis le : vendredi 23 septembre 2005-17:47:59
Dernière modification le : vendredi 23 septembre 2005-17:47:59
Dates et versions
Identifiants
- HAL Id : inria-00000334 , version 1
Citer
C. Areces, P. Blackburn, M. Marx. Repairing the Interpolation Theorem in First-Order Modal Logic. Proceedinds of BNAIC 2001, 2001, Amsterdam, The Netherlands, pp.31--32. ⟨inria-00000334⟩
3
Consultations
0
Téléchargements