Publications

Export 1 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Sergio Mera  [Clear All Filters]
2012
C. Areces, S. Figueira, and S. Mera, “Completeness Results for Memory Logics”, Annals of Pure and Applied Logic, vol. 163, no. 7, p. 961-972, 2012.PDF icon Completeness_Results_for_Memory_Logics.pdf (401.9 KB)