×

Found 520 Documents (Results 1–100)

Countable models of complete ordered theories. (English. Russian original) Zbl 07812312

Dokl. Math. 108, No. 2, 343-345 (2023); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 513, 5-8 (2023).
MSC:  03Cxx 03Bxx 06Axx
PDFBibTeX XMLCite
Full Text: DOI

Mathematical methods for engineering applications. ICMASE 2022, Bucharest, Romania, July 4–7, 2022. (English) Zbl 1515.65007

Springer Proceedings in Mathematics & Statistics 414. Cham: Springer (ISBN 978-3-031-21699-2/hbk; 978-3-031-21702-9/pbk; 978-3-031-21700-5/ebook). vii, 293 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

Mathematical methods for engineering applications. Proceedings of the 2nd international conference on mathematics and its applications in science and engineering, ICMASE 2021, Salamanca, Spain, July 1–2, 2021. (English) Zbl 1502.65003

Springer Proceedings in Mathematics & Statistics 384. Cham: Springer (ISBN 978-3-030-96400-9/hbk; 978-3-030-96403-0/pbk; 978-3-030-96401-6/ebook). xi, 319 p. (2022).
PDFBibTeX XMLCite
Full Text: DOI

Algebras, lattices, varieties. Volume III. (English) Zbl 1511.08001

Mathematical Surveys and Monographs 269. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-6798-2/pbk; 978-1-4704-7130-9/ebook). xvii, 430 p. (2022).
PDFBibTeX XMLCite
Full Text: DOI

Algebras, lattices, varieties. Volume II. (English) Zbl 1509.08001

Mathematical Surveys and Monographs 268. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-6797-5/pbk; 978-1-4704-7129-3/ebook). xvii, 475 p. (2022).
PDFBibTeX XMLCite
Full Text: DOI

A structure-oriented construction of the classical number domains. With a view to order structures, algebraic and topological structures. (Ein strukturorientierter Aufbau der klassischen Zahlenbereiche. Mit Blick auf Ordnungsstrukturen, algebraische und topologische Strukturen.) (German) Zbl 1491.00002

Berlin: Springer Spektrum (ISBN 978-3-662-64886-5/pbk; 978-3-662-64887-2/ebook). xix, 420 p. (2022).
PDFBibTeX XMLCite
Full Text: DOI

Lorenzen and constructive mathematics. (English) Zbl 1490.03001

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, 47-61 (2021).
PDFBibTeX XMLCite
Full Text: DOI

The logic of quantum mechanics (Revisited). (English) Zbl 1480.81010

Anel, Mathieu (ed.) et al., New spaces in physics. Formal and conceptual reflections. Cambridge: Cambridge University Press. 85-113 (2021).
PDFBibTeX XMLCite
Full Text: DOI Link

From quantum-mechanical lattice of projections to smooth structure of \(\mathbb{R}^4\). (English) Zbl 1442.81004

Kuś, Marek (ed.) et al., Category theory in physics, mathematics, and philosophy. Proceedings of the conference “Category Theory in Physics, Mathematics and Philosophy”, Warsaw, Poland, November 16–17, 2017. Cham: Springer; Warsaw: International Center for Formal Ontology. Springer Proc. Phys. 235, 83-93 (2019).
PDFBibTeX XMLCite
Full Text: DOI

Hyper partial order logic. (English) Zbl 1528.68209

Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 20, 21 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Proving linearizability using partial orders. (English) Zbl 1485.68084

Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10201, 639-667 (2017).
MSC:  68P05 03B70 06A06
PDFBibTeX XMLCite
Full Text: DOI arXiv

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