Conference Papers
Year : 2009
Areces Carlos : Connect in order to contact the contributor
https://inria.hal.science/inria-00332399
Submitted on : Monday, October 20, 2008-6:58:53 PM
Last modification on : Friday, March 24, 2023-2:52:51 PM
Dates and versions
Identifiers
- HAL Id : inria-00332399 , version 1
Cite
Carlos Areces, Sergio Mera, Santiago Figueira. Completeness results for memory logics. Symposium on Logical Foundations of Computer Science - LFCS'09, Jan 2009, Deerfield Beach, Florida, USA, United States. pp.16--30. ⟨inria-00332399⟩
Collections
35
View
0
Download