×

Found 5,277 Documents (Results 1–100)

100
MathJax

First-order logic and its infinitary quantifier extensions over countable words. (English) Zbl 07530223

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, 39-52 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Lorenzen’s reshaping of Krull’s Fundamentalsatz for integral domains (1938–1953). (English) Zbl 1484.01013

Heinzmann, Gerhard (ed.) et al., Paul Lorenzen – mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8–9, 2018. Cham: Springer. Log. Epistemol. Unity Sci. 51, 143-183 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

The polycyclic inverse monoids and the Thompson groups revisited. (English) Zbl 1482.20034

Romeo, P. G. (ed.) et al., Semigroups, categories, and partial algebras. ICSAA 2019. Proceedings of the conference, Kochi, India, December 9–12, 2019. Singapore: Springer. Springer Proc. Math. Stat. 345, 179-214 (2021).
MSC:  20M18 18B40 20F29
PDF BibTeX XML Cite
Full Text: DOI arXiv

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