Expressive Power and Decidability for Memory Logics

Areces, C., Figueira, D., Figueira, S., and Mera, S.. Expressive Power and Decidability for Memory Logics. In Logic, Language, Information and Computation, Lecture Notes in Computer Science, pp. 56–68, Springer Berlin / Heidelberg, Edinburgh, Scotland, 2008. Proceedings of WoLLIC 2008

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INCOLLECTION{arec:expr08,
  author = {Areces, C. and Figueira, D. and Figueira, S. and Mera, S.},
  title = {Expressive Power and Decidability for Memory Logics},
  booktitle = {Logic, Language, Information and Computation},
  publisher = {Springer Berlin / Heidelberg},
  year = {2008},
  volume = {5110},
  series = {Lecture Notes in Computer Science},
  pages = {56--68},
  address = {Edinburgh, Scotland},
  note = {Proceedings of {W}o{LLIC} 2008},
  editors = {W. Hodges and R. de Queiroz}
}