Completeness Results for Memory Logics.

Carlos Areces, Santiago Figueira, Sergio Mera

Browse the full LFCS paper archive.