Search - IFIP Open Digital Library Access content directly

Filter your results

1 Array
authFullName_s : H. J. Sander Bruggink
Image document

A Logic on Subobjects and Recognizability

H. J. Sander Bruggink , Barbara König
6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.197-212, ⟨10.1007/978-3-642-15240-5_15⟩
Conference papers hal-01054459v1