Author:
Adámek Jiří,Milius Stefan,Velebil Jiří
Subject
General Computer Science,Theoretical Computer Science
Reference25 articles.
1. Infinite trees and completely iterative theories: a coalgebraic view;Aczel;Theoret.~Comput.~Sci.,2003
2. P. Aczel, J. Adámek, J. Velebil, A coalgebraic view of infinite trees and iteration, in: Proc. Coalgebraic Methods in Computer Science, CMCS’01, Electron. Notes Theor. Comput. Sci., vol. 44, 2001, pp. 1–26.
3. Free algebras and automata realizations in the language of categories;Adámek;Comment.~Math.~Univ.~Carolin.,1974
4. Iterative algebras at work;Adámek;Math.~Structures Comput.~Sci.,2006
5. Semantics of higher-order recursion schemes;Adámek;Log. Methods Comput. Sci.,2011
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献