Bruggink, Sander; König, Barbara:
A Logic on Subobjects and Recognizability
In: Theoretical Computer Science : 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010 - 6th International Conference on Theoretical Computer Science (TCS), September 20-23, 2010, Brisbane, Australia - Berlin: Springer, 2010, S. 197 - 212
2010Buchaufsatz/Kapitel in Tagungsband
InformatikFakultät für Ingenieurwissenschaften » Informatik und Angewandte Kognitionswissenschaft
Titel in Englisch:
A Logic on Subobjects and Recognizability
Autor*in:
Bruggink, SanderUDE
LSF ID
47885
Sonstiges
der Hochschule zugeordnete*r Autor*in
;
König, BarbaraUDE
GND
1050396502
LSF ID
15982
ORCID
0000-0002-4193-2889ORCID iD
Sonstiges
der Hochschule zugeordnete*r Autor*in
Scopus ID
Sprache des Textes:
Englisch