×

Found 2,383 Documents (Results 1–100)

100
MathJax

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

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:  03Bxx 03Dxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

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

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:  03Bxx 03Dxx 11Uxx
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

A game theoretical semantics for logics of nonsense. (English) Zbl 07455741

Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 66-81 (2020).
MSC:  68Q45 68Q60 91A80
PDF BibTeX XML Cite
Full Text: arXiv Link

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).
PDF BibTeX XML Cite
Full Text: DOI

A fresh view of linear logic as a logical framework. (English) Zbl 07313969

Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 351, 143-165 (2020).
MSC:  03B70 68Q55 68T27
PDF BibTeX XML Cite
Full Text: DOI

Reflections on elimination theory. (English) Zbl 07300043

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). 1-4 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Logic beyond formulas: a proof system on graphs. (English) Zbl 07299457

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 38-52 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Formally verifying proofs for algebraic identities of matrices. (English) Zbl 1455.68253

Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 222-236 (2020).
MSC:  68V15 15A24 68W30
PDF BibTeX XML Cite
Full Text: DOI

Thomas decomposition and nonlinear control systems. (English) Zbl 1451.93171

Quadrat, Alban (ed.) et al., Algebraic and symbolic computation methods in dynamical systems. Based on articles written for the invited sessions of the 5th symposium on system structure and control, IFAC, Grenoble, France, February 4–6, 2013 and of the 21st international symposium on mathematical theory of networks and systems (MTNS 2014), Groningen, the Netherlands, July 7–11, 2014. Cham: Springer. Adv. Delays Dyn. 9, 117-146 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Syntactic cut-elimination for intuitionistic fuzzy logic via linear nested sequents. (English) Zbl 1481.03009

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11972, 156-176 (2020).
MSC:  03B52 03F05
PDF BibTeX XML Cite
Full Text: DOI arXiv

A globally sound analytic calculus for Henkin quantifiers. (English) Zbl 07197410

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11972, 128-143 (2020).
MSC:  03C80 03F03 03F05
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software