Completeness Results for Memory Logics

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]

Abstract

Abstract is missing.