Inputs, Outputs, and Composition in the Logic of Information Flows.
Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
Browse the full KR paper archive.
Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
Browse the full KR paper archive.