Article,

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

, , , , and .
ACM Trans. Comput. Log., 24 (4): 33:1-33:44 (October 2023)

Meta data

Tags

Users

  • @dblp

Comments and Reviews