Publisher
Springer International Publishing
Reference7 articles.
1. Goncharov, S.S.: Problem of the number of non-self-equivalent constructivizations. Algebra Logic 19(6), 401–414 (1980)
2. Harrison-Trainor, M., Melnikov, A., Miller, R., Montalbán, A.: Computable functors and effective interpretability. J. Symbolic Logic 82(1), 77–97 (2017)
3. Miller, R., Poonen, B., Schoutens, H., Shlapentokh, A.: A computable functor from graphs to fields. J. Symbolic Logic 83(1), 326–348 (2018)
4. Rossegger, D.: On functors enumerating structures. Siberian Electron. Math. Rep. 14, 690–702 (2017)
5. Rossegger, D.: Computable structure theory with respect to equivalence relations (2019)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献