Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. From enhanced coinduction towards enhanced induction;Proceedings of the ACM on Programming Languages;2022-01-12
2. Corecursion Up-to via Causal Transformations;Coalgebraic Methods in Computer Science;2022
3. Steps and traces;Journal of Logic and Computation;2021-08-23
4. From Multisets over Distributions to Distributions over Multisets;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29
5. Bisimulation and Coinduction Enhancements: A Historical Perspective;Formal Aspects of Computing;2019-12