Author:
Wilson Matthew,Hefford James,Boisseau Guillaume,Wang Vincent
Publisher
Open Publishing Association
Reference19 articles.
1. Update semantics of relational views;Bancilhon;ACM Transactions on Database Systems,1981
2. The Mathematics of Text Structure;Coecke;arXiv Preprint,2019
3. Picturing Quantum Processes
4. Meaning updating of density matrices;Coecke;arXiv preprint,2020
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Constructor Theory as Process Theory;Electronic Proceedings in Theoretical Computer Science;2023-12-14
2. Higher Lenses;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29