Completeness results for memory logics

Areces, C., Figueira, S., and Mera, S.. Completeness results for memory logics. In Proceedings of LFCS'09, the Symposium on Logic Foundations of Computer Science, pp. 16–30, Deerfield Beach, Florida, USA, 2009.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{arec:comp09a,
  author = {Areces, C. and Figueira, S. and Mera, S.},
  title = {Completeness results for memory logics},
  booktitle = {Proceedings of LFCS'09, the Symposium on Logic Foundations of Computer
	Science},
  year = {2009},
  volume = {5407},
  series = {LNCS},
  pages = {16--30},
  address = {Deerfield Beach, Florida, USA},
}

Generated by bib2html.pl (written by Patrick Riley) on Sun Oct 02, 2016 17:05:49