×

Found 1,925 Documents (Results 1–100)

First-order separation over countable ordinals. (English) Zbl 07793033

Bouyer, Patricia (ed.) et al., Foundations of software science and computation structures. 25th international conference, FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13242, 264-284 (2022).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the coprimeness relation from the viewpoint of monadic second-order logic. (English. Russian original) Zbl 07733645

Izv. Math. 86, No. 6, 1225-1239 (2022); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 86, No. 6, 207-222 (2022).
MSC:  03F35 03D55 03D35
PDFBibTeX XMLCite
Full Text: DOI MNR

Defining long words succinctly in FO and MSO. (English) Zbl 07627923

Berger, Ulrich (ed.) et al., Revolutions and revelations in computability. 18th conference on computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13359, 125-138 (2022).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Computability. Randomness, reverse mathematics and hypercomputability. (Calculabilité. Aléatoire, mathématiques à rebours et hypercalculabilité.) (French) Zbl 1516.03001

Tableau Noir 107. Paris: Calvage et Mounet (ISBN 978-2-916352-96-1/hbk). xxii, 828 p. (2022).
PDFBibTeX XMLCite

Abstract clones for abstract syntax. (English) Zbl 07700635

Kobayashi, Naoki (ed.), 6th international conference on formal structures for computation and deduction, FSCD 2021, Buenos Aires, Argentina, virtual conference, July 17–24, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 195, Article 30, 19 p. (2021).
MSC:  03B70 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Rosser provability and the second incompleteness theorem. (English) Zbl 07615250

Arai, Toshiyasu (ed.) et al., Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18–20, 2018. Singapore: Springer. Springer Proc. Math. Stat. 369, 77-97 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Overgeneration in the higher infinite. (English) Zbl 1528.03210

Sagi, Gil (ed.) et al., The semantic conception of logic. Essays on consequence, invariance, and meaning. Cambridge: Cambridge University Press. 142-159 (2021).
PDFBibTeX XMLCite
Full Text: DOI Link

Generative program analysis and beyond: the power of domain-specific languages (invited paper). (English) Zbl 1472.68042

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 29-51 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software