Author:
Bonsangue Marcello,Caltais Georgiana,Goriac Eugen-Ioan,Lucanu Dorel,Rutten Jan,Silva Alexandra
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Bonsangue, M.M., Rutten, J.J.M.M., Silva, A.: An algebra for Kripke polynomial coalgebras. In: LICS, pp. 49–58. IEEE Computer Society, Los Alamitos (2009)
2. Lecture Notes in Computer Science;M. Bonsangue,2009
3. Lecture Notes in Computer Science,2007
4. Goguen, J., Lin, K., Rosu, G.: Circular coinductive rewriting. In: ASE 2000: Proceedings of the 15th IEEE International Conference on Automated Software Engineering, Washington, DC, USA, 2000, pp. 123–132. IEEE Computer Society, Los Alamitos (2000)
5. Goguen, J.A.: Order-sorted algebra i: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science 105, 217–273 (1992)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献