Publisher
Springer International Publishing
Reference33 articles.
1. Andrews, U., Sorbi, A.: Joins and meets in the structure of Ceers. arXiv:1802.09249 (2018, submitted)
2. Andrews, U., Lempp, S., Miller, J., Ng, K., Mauro, L.S., Sorbi, A.: Universal computably enumerable equivalence relations. J. Symb. Log. 79(1), 60–88 (2014)
3. Bergstra, J.A., Tucker, J.V.: Initial and final algebra semantics for data type specifications: two characterization theorems. SIAM J. Comput. 12, 366–387 (1983)
4. Bergstra, J.A., Tucker, J.V.: Algebraic specifications of computable and semi-computable DataTypes. Theor. Comput. Sci. 50, 137–181 (1987)
5. Bernardi, C., Sorbi, A.: Classifying positive equivalence relations. J. Symb. Log. 48(3), 529–538 (1983)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献