Subject
General Computer Science,Theoretical Computer Science
Reference9 articles.
1. Aczel P., Adámek J., Milius S. and Velebil, J.: “Infinite Trees and Completely Iterative Theories”; to appear in Theor. Comps. Science.
2. Adámek J., Milius S. and Velebil J.: “On Rational Monads and Free Iterative Theories”; Electr. Notes Theor. Comp. Science 69 (2002)
3. “Automata and Algebras in Categories”;Adámek,1990
4. “Terminal Coalgebras in Well-founded Set Theory”;Barr;Theor. Comp. Science,1994
5. “Iteration Theories: The Equational Logic of Iterative Processes”;Bloom,1993
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献