Publications

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 iconCompleteness_Results_for_Memory_Logics.pdf (401.9 KB)