Expressive Power and Decidability for Memory Logics.

Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera

Browse the full WoLLIC paper archive.