Author:
ADMEK JIR,MILIUS STEFAN,VELEBIL JIR
Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Checking equivalence of corecursive streams: An inductive procedure;Theoretical Computer Science;2024-09
2. A Categorical Framework for Learning Generalised Tree Automata;Coalgebraic Methods in Computer Science;2022
3. Fixed points of functors;Journal of Logical and Algebraic Methods in Programming;2018-02
4. Finiteness and rational sequences, constructively;Journal of Functional Programming;2017
5. The Coinductive Resumption Monad;Electronic Notes in Theoretical Computer Science;2014-10