Author:
Ancona Davide,Dagnino Francesco,Zucca Elena
Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. Aczel, P.: An introduction to inductive definitions. In: Handbook of Mathematical Logic. North Holland (1977)
2. Adámek, J., Milius, S., Velebil, J.: Iterative algebras at work. Math. Struct. Comput. Sci. 16(6), 1085–1131 (2006)
3. Ancona, D.: Regular corecursion in Prolog. In: SAC 2012 - ACM Symposium on Applied Computing, pp. 1897–1902 (2012)
4. Lecture Notes in Computer Science;D Ancona,2012
5. Ancona, D.: Regular corecursion in Prolog. Comput. Lang. Syst. Struct. 39(4), 142–162 (2013)
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献