Basic Model Theory for Memory Logics.

Carlos Areces, Facundo Carreiro, Santiago Figueira, Sergio Mera

Browse the full WoLLIC paper archive.