×

Found 1,199 Documents (Results 1–100)

Newest Citations Relevance
Poizat, Bruno; Yeshkeyev, Aibat

Back and forth in positive logic. (English) Zbl 07740534

Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 603-609 (2022).
MSC:  03A05 03Bxx 01A25 01A55 03C95 03C48 03C10
PDF BibTeX XML Cite
\textit{B. Poizat} and \textit{A. Yeshkeyev}, in: Logic in question. Talks from the annual Sorbonne logic workshop (2011--2019), Paris, France, April 15--16, 2019. Cham: Birkhäuser. 603--609 (2022; Zbl 07740534)
Full Text: DOI
Semenov, A. L.; Soprunov, S. F.

The lattice of definability: origins, recent developments, and further directions. (English. Russian original) Zbl 07728611

Dokl. Math. 106, Part Suppl. 2, S288-S298 (2022); translation from Chebyshevskiĭ Sb. 22, No. 1(77), 304-327 (2021).
MSC:  03C40 03C10
PDF BibTeX XML Cite
\textit{A. L. Semenov} and \textit{S. F. Soprunov}, Dokl. Math. 106, Part Suppl. 2, S288--S298 (2022; Zbl 07728611); translation from Chebyshevskiĭ Sb. 22, No. 1(77), 304--327 (2021)
Full Text: DOI
Cordwell, Katherine; Tan, Yong Kiam; Platzer, André

A verified decision procedure for univariate real arithmetic with the BKR algorithm. (English) Zbl 07699431

Cohen, Liron (ed.) et al., 12th international conference on interactive theorem proving, ITP 2021, Rome, Italy, virtual conference, June 29 – July 1, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 193, Article 14, 20 p. (2021).
MSC:  68V15
PDF BibTeX XML Cite
\textit{K. Cordwell} et al., LIPIcs -- Leibniz Int. Proc. Inform. 193, Article 14, 20 p. (2021; Zbl 07699431)
Full Text: DOI arXiv
Roy, Marie-Françoise

Quantifier elimination versus Hilbert’s seventeenth problem. (Élimination des quantificateurs versus dix-septième problème de Hilbert.) (French) Zbl 1494.03006

Haffner, Emmylou (ed.) et al., L’épistémologie du dedans. Mélanges en l’honneur de Hourya Benis-Sinaceur. Paris: Classiques Garnier. Rencontres 479, 191-211 (2021).
MSC:  03-03 12-03 14-03 14Pxx 01A60 12Jxx 03C64 03C10
PDF BibTeX XML Cite
\textit{M.-F. Roy}, Rencontres 479, 191--211 (2021; Zbl 1494.03006)
Starchak, M. R.

A proof of Bel’tyukov-Lipshitz theorem by quasi-quantifier elimination. II: The main reduction. (English. Russian original) Zbl 1491.03012

Vestn. St. Petersbg. Univ., Math. 54, No. 4, 372-380 (2021); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 8(66), No. 4, 608-619 (2021).
MSC:  03B25 03C10 03C60 11U05
PDF BibTeX XML Cite
\textit{M. R. Starchak}, Vestn. St. Petersbg. Univ., Math. 54, No. 4, 372--380 (2021; Zbl 1491.03012); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 8(66), No. 4, 608--619 (2021)
Full Text: DOI
Starchak, M. R.

A proof of Bel’tyukov-Lipshitz theorem by quasi-quantifier elimination. I: Definitions and GCD-lemma. (English. Russian original) Zbl 1491.03011

Vestn. St. Petersbg. Univ., Math. 54, No. 3, 264-272 (2021); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 8(66), No. 3, 455-466 (2021).
MSC:  03B25 03C10 03C60 11U05
PDF BibTeX XML Cite
\textit{M. R. Starchak}, Vestn. St. Petersbg. Univ., Math. 54, No. 3, 264--272 (2021; Zbl 1491.03011); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 8(66), No. 3, 455--466 (2021)
Full Text: DOI
Hämeen-Anttila, Maria (ed.); von Plato, Jan (ed.)

Kurt Gödel. The Princeton lectures on intuitionism. (English) Zbl 07414812

Sources and Studies in the History of Mathematics and Physical Sciences. Cham: Springer (ISBN 978-3-030-87295-3/hbk; 978-3-030-87298-4/pbk; 978-3-030-87296-0/ebook). ix, 133 p. (2021).
MSC:  03-06 03-03 01A75 03C10 01A60
PDF BibTeX XML Cite
\textit{M. Hämeen-Anttila} (ed.) and \textit{J. von Plato} (ed.), Kurt Gödel. The Princeton lectures on intuitionism. Cham: Springer (2021; Zbl 07414812)
Full Text: DOI
Haase, Christoph; Różycki, Jakub

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
\textit{C. Haase} and \textit{J. Różycki}, Lect. Notes Comput. Sci. 12650, 310--323 (2021; Zbl 07410431)
Full Text: DOI arXiv
Semenov, Alekseĭ L’vovich; Soprunov, Sergeĭ Fedorovich

The lattice of definability. Origins and directions of research. (Russian. English summary) Zbl 1515.03152

Chebyshevskiĭ Sb. 22, No. 1(77), 304-327 (2021); translation in Dokl. Math. 106, Suppl. 2, S288-S298 (2022).
MSC:  03C40 03C10
PDF BibTeX XML Cite
\textit{A. L. Semenov} and \textit{S. F. Soprunov}, Chebyshevskiĭ Sb. 22, No. 1(77), 304--327 (2021; Zbl 1515.03152); translation in Dokl. Math. 106, Suppl. 2, S288--S298 (2022)
Full Text: MNR
Demri, Stéphane; Lozes, Etienne; Mansutti, Alessio

Internal calculi for separation logics. (English) Zbl 07650832

Fernández, Maribel (ed.) et al., 28th EACSL annual conference on computer science logic, CSL 2020, Barcelona, Spain, January 13–16, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 152, Article 19, 18 p. (2020).
MSC:  68-XX 03B70
PDF BibTeX XML Cite
\textit{S. Demri} et al., LIPIcs -- Leibniz Int. Proc. Inform. 152, Article 19, 18 p. (2020; Zbl 07650832)
Full Text: DOI arXiv
Sato, Yosuke; Sekigawa, Hiroshi; Fukasaku, Ryoya; Nabeshima, Katsusuke

On parametric border bases. (English) Zbl 07441056

Slamanig, Daniel (ed.) et al., Mathematical aspects of computer and information sciences. 8th international conference, MACIS 2019, Gebze, Turkey, November 13–15, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11989, 10-15 (2020).
MSC:  68-XX 65-XX
PDF BibTeX XML Cite
\textit{Y. Sato} et al., Lect. Notes Comput. Sci. 11989, 10--15 (2020; Zbl 07441056)
Full Text: DOI
Nowak, Krzysztof Jan

A closedness theorem over Henselian fields with analytic structure and its applications. (English) Zbl 1460.32047

Gładki, Paweł (ed.) et al., Algebra, logic and number theory. Proceedings of the 5th joint conferences, Będlewo, Poland, June 24–29, 2018. Warsaw: Polish Academy of Sciences, Institute of Mathematics. Banach Cent. Publ. 121, 141-149 (2020).
MSC:  32P05 32B05 14G22 03C98 32S45 14E15
PDF BibTeX XML Cite
\textit{K. J. Nowak}, Banach Cent. Publ. 121, 141--149 (2020; Zbl 1460.32047)
Full Text: DOI
England, Matthew

Real quantifier elimination by cylindrical algebraic decomposition, and improvements by machine learning. (English) Zbl 07300047

Mantzaflaris, Angelos (ed.), Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC ’20, Kalamata, Greece, July 20–23, 2020. New York, NY: Association for Computing Machinery (ACM). 13 (2020).
MSC:  68W30
PDF BibTeX XML Cite
\textit{M. England}, in: Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC '20, Kalamata, Greece, July 20--23, 2020. New York, NY: Association for Computing Machinery (ACM). 13 (2020; Zbl 07300047)
Full Text: DOI
Seidl, Helmut; Müller, Christian; Finkbeiner, Bernd

How to win first-order safety games. (English) Zbl 07228518

Beyer, Dirk (ed.) et al., Verification, model checking, and abstract interpretation. 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11990, 426-448 (2020).
MSC:  68Q60
PDF BibTeX XML Cite
\textit{H. Seidl} et al., Lect. Notes Comput. Sci. 11990, 426--448 (2020; Zbl 07228518)
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

Main Field

all top 3

Biographic Reference

all top 3

Software