Author:
Adamek Jiri,Myers Robert S.R.,Urbat Henning,Milius Stefan
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Minimisation in Logical Form;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023
2. Quantifiers on languages and codensity monads;Mathematical Structures in Computer Science;2020-11
3. Generalized Eilenberg Theorem;ACM Transactions on Computational Logic;2019-02-05
4. Duality in Computer Science;Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science;2016-07-05
5. Semi-galois Categories I;Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science;2016-07-05