Carlos Areces, Santiago Figueira, Sergio Mera. Completeness Results for Memory Logics. In Sergei N. Artëmov, Anil Nerode, editors, Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings. Volume 5407 of Lecture Notes in Computer Science, pages 16-30, Springer, 2009. [doi]
@inproceedings{ArecesFM09,
title = {Completeness Results for Memory Logics},
author = {Carlos Areces and Santiago Figueira and Sergio Mera},
year = {2009},
doi = {10.1007/978-3-540-92687-0_2},
url = {http://dx.doi.org/10.1007/978-3-540-92687-0_2},
tags = {completeness, logic},
researchr = {https://researchr.org/publication/ArecesFM09},
cites = {0},
citedby = {0},
pages = {16-30},
booktitle = {Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
editor = {Sergei N. Artëmov and Anil Nerode},
volume = {5407},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-92686-3},
}