You are here

Completeness results for Memory Logics

dfslezak's picture
TitleCompleteness results for Memory Logics
Publication TypeJournal Article
Year of Publication2012
AuthorsAreces, C., S. Figueira, and S. Mera
JournalAnnals of Pure and Applied Logics
Volume163
Pagination961–972