×

Found 1,378 Documents (Results 1–100)

100
MathJax

Uniformly computably separable algebras with effectively splittable families of negative congruences. (English. Russian original) Zbl 07538031

Sib. Math. J. 63, No. 3, 466-475 (2022); translation from Sib. Mat. Zh. 63, No. 3, 562-575 (2022).
MSC:  03Dxx 03Cxx 08Axx
PDF BibTeX XML Cite
Full Text: DOI

Approximating approximate reasoning: fuzzy sets and the Ershov hierarchy. (English) Zbl 07547755

Ghosh, Sujata (ed.) et al., Logic, rationality, and interaction. 8th international workshop, LORI 2021, Xi’ian, China, October 16–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13039, 1-13 (2021).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI

Subrecursive equivalence relations and (non-)closure under lattice operations. (English) Zbl 07495183

De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 363-372 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Towards a map for incremental learning in the limit from positive and negative information. (English) Zbl 07495175

De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 273-284 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Learnability and positive equivalence relations. (English) Zbl 07405984

Leporati, Alberto (ed.) et al., Language and automata theory and applications. 15th international conference, LATA 2021, Milan, Italy, March 1–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12638, 145-156 (2021).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv

Degree spectra of structures. (English. Russian original) Zbl 07364542

J. Math. Sci., New York 256, No. 2, 143-159 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 158, 23-39 (2018).
MSC:  03D45 03C57
PDF BibTeX XML Cite
Full Text: DOI

Computable linear orders and limitwise monotonic functions. (English. Russian original) Zbl 07364539

J. Math. Sci., New York 256, No. 1, 61-95 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 70-105 (2018).
MSC:  03D45 03C57
PDF BibTeX XML Cite
Full Text: DOI

Categoricity spectra of computable structures. (English. Russian original) Zbl 1485.03105

J. Math. Sci., New York 256, No. 1, 34-50 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 42-58 (2018).
MSC:  03C57 03D45
PDF BibTeX XML Cite
Full Text: DOI

Turing computability: structural theory. (English. Russian original) Zbl 07364536

J. Math. Sci., New York 256, No. 1, 1-33 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 8-41 (2018).
PDF BibTeX XML Cite
Full Text: DOI

A historical account of my early research interests. (English) Zbl 07453187

Fribourg, Laurent (ed.) et al., Proceedings of the eighth international workshop on verification and program transformation and the seventh workshop on Horn clauses for verification and synthesis, VPT/HCVS 2020, Dublin, Ireland, April 25–26, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 320, 1-28 (2020).
MSC:  68N30 68Q60
PDF BibTeX XML Cite
Full Text: arXiv Link

Rogers semilattices for families of equivalence relations in the Ershov hierarchy. (English. Russian original) Zbl 1445.03050

Sib. Math. J. 60, No. 2, 223-234 (2019); translation from Sib. Mat. Zh. 60, No. 2, 290-305 (2019).
MSC:  03D45 03D30 03D55
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software