Author:
Hieronymi Philipp,Walsberg Erik
Publisher
Springer Science and Business Media LLC
Subject
General Physics and Astronomy,General Mathematics
Reference41 articles.
1. Abu Zaid, F.: Algorithmic solutions via model theoretic interpretations. Ph.D. thesis, RWTH Aachen University (2016)
2. Abu Zaid, F., Grädel, E., Kaiser, L., Pakusa, W.: Model-theoretic properties of $$\omega $$-automatic structures. Theory Comput. Syst. 55(4), 856–880 (2014)
3. Anashin, V.S.: Quantization causes waves: smooth finitely computable functions are affine. P-Adic Num. Ultrametr. Anal. Appl. 7(3), 169–227 (2015)
4. Balderrama, W., Hieronymi, P.: Definability and decidability in expansions by generalized Cantor sets. Preprint arXiv:1701.08426 (2017)
5. Banach, S.: Über die Baire’sche Kategorie gewisser Funktionenmengen. Stud. Math. 3(1), 174–179 (1931)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献