A Logic on Subobjects and Recognizability

In: Theoretical Computer Science : Proceedings of the 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. (IFIP Advances in Information and Communication Technology ; 323)
Berlin [u.a.]: Springer (2010), S. 197 - 212
ISBN: 978-3-642-15240-5
Buchaufsatz / Kapitel / Fach: Informatik