Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs

Ten Cate, Balder and Facchini, Alessandro (2011) Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs. In: Mathematical Foundations of Computer Science 2011 - 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings.

Full text not available from this repository.

Actions (login required)

View Item View Item