Inputs, Outputs, and Composition in the Logic of Information Flows
From MaRDI portal
Publication:6082230
DOI10.1145/3604553arXiv2209.06448MaRDI QIDQ6082230
Dimitri Surinx, Bart Bogaerts, Jan Van den Bussche, Heba Aamer, Eugenia Ternovska
Publication date: 3 November 2023
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2209.06448
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Automatic behavior composition synthesis
- Relative expressive power of navigational querying on graphs
- Rewriting of regular expressions and regular path queries
- The relational model of data and cylindric algebras
- Cylindric algebras. Part II
- An algebra of modular systems: static and dynamic perspectives
- Dynamic predicate logic
- On the calculus of relations
- Executable First-Order Queries in the Logic of Information Flows