Conference Papers
Year : 2004
Publications Loria : Connect in order to contact the contributor
https://inria.hal.science/inria-00110364
Submitted on : Friday, October 27, 2006-4:00:32 PM
Last modification on : Friday, March 24, 2023-2:52:48 PM
Dates and versions
Identifiers
- HAL Id : inria-00110364 , version 1
Cite
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
58
View
0
Download