Bruggink, Sander; König, Barbara:
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
Buchaufsatz/Kapitel in Sammelwerk2010Informatik
Titel:
A Logic on Subobjects and Recognizability
Autor(in):
Bruggink, SanderLSF; König, BarbaraLSF
Erscheinungsjahr
2010
WWW URL