A Logic on Subobjects and Recognizability

Reference

H.J. Sander Bruggink and Barbara König. A logic on subobjects and recognizability. In Proc. of TCS '10, volume 323 of IFIP AICT, pages 197–212. Springer, 2010.

Suggested BibTeX entry:

@inproceedings{BK10,
    author = {H.J. Sander Bruggink and Barbara K{\"o}nig},
    booktitle = {Proc. of TCS '10},
    pages = {197-212},
    publisher = {Springer},
    series = {IFIP AICT},
    title = {A Logic on Subobjects and Recognizability},
    volume = {323},
    year = {2010}
}



PDF (252 kB)See link.springer.com ...
© University of Duisburg-Essen, Theoretical Computer Science group