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} }
Generated by bib2html.pl (written by Patrick Riley) on Mon Dec 04, 2017 20:59:00
© 2004 Maintained by Carlos Areces. Last updated: 04-12-2017.