External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Inputs, Outputs, and Composition in the Logic of Information Flows

Heba Aamer, Bart Bogaerts 0001, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche. Inputs, Outputs, and Composition in the Logic of Information Flows. ACM Trans. Comput. Log., 24(4), October 2023. [doi]

Authors

Heba Aamer

This author has not been identified. Look up 'Heba Aamer' in Google

Bart Bogaerts 0001

This author has not been identified. Look up 'Bart Bogaerts 0001' in Google

Dimitri Surinx

This author has not been identified. Look up 'Dimitri Surinx' in Google

Eugenia Ternovska

This author has not been identified. Look up 'Eugenia Ternovska' in Google

Jan Van den Bussche

This author has not been identified. Look up 'Jan Van den Bussche' in Google
runs on