×

Found 3,421 Documents (Results 1–100)

100
MathJax

Souslin quasi-orders and bi-embeddability of uncountable structures. (English) Zbl 07573745

Memoirs of the American Mathematical Society 1365. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5273-5/pbk; 978-1-4704-7097-5/ebook). vii, 189 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

A logic and computation for Popper’s conditional probabilities. (English) Zbl 07542375

Vejnarová, Jiřina (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 16th European conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12897, 657-671 (2021).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

Deciding top-down determinism of regular tree languages. (English) Zbl 07530244

Bampis, Evripidis (ed.) et al., Fundamentals of computation theory. 23rd international symposium, FCT 2021, Athens, Greece, September 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12867, 341-353 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Lattice of definability (of reducts) for integers with successor. (English. Russian original) Zbl 07480692

Izv. Math. 85, No. 6, 1257-1269 (2021); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 85, No. 6, 245-258 (2021).
MSC:  33-XX 40-XX
PDF BibTeX XML Cite
Full Text: DOI

On the expressiveness of Büchi arithmetic. (English) Zbl 07410431

Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 310-323 (2021).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

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

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