Author:
Salamanca Julian,Bonsangue Marcello,Rot Jurriaan
Publisher
Springer International Publishing
Reference25 articles.
1. Lecture Notes in Computer Science;J Adámek,2005
2. Adámek, J.: Birkhoff’s covariety theorem without limitation. Comment. Math. Univ. Carolinae 46(2), 197–215 (2005)
3. Adámek, J., Milius, S., Myers, R.S.R., Urbat, H.: Generalized eilenberg theorem I: local varieties of languages. In: FoSSaCS 2014, pp. 366–380 (2014)
4. Adámek, J., Milius, S., Myers, R.S.R., Urbat, H.: Varieties of languages in a category. In: Proceedings of LICS 2015. IEEE (2015)
5. Awodey, S., Hughes, J.: Modal operators and the formal dual of Birkhoff’s completeness theorem. Math. Struct. CS 13(2), 233–258 (2003)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Minimisation in Logical Form;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023