Communication Dans Un Congrès
Année : 2004
Publications Loria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00110364
Soumis le : vendredi 27 octobre 2006-16:00:32
Dernière modification le : vendredi 24 mars 2023-14:52:48
Dates et versions
Identifiants
- HAL Id : inria-00110364 , version 1
Citer
Jean-Yves Marion. Resource Analysis by Quasi-Interpretations. Sixth International Workshop on Logic and Computational Complexity, Neil Jones, 2004, Turku, Finlande, 95 p. ⟨inria-00110364⟩
Collections
61
Consultations
0
Téléchargements