×

Found 8,203 Documents (Results 1–100)

100
MathJax

Automata model for verifying attibuted-based access control policy in systems with a finite number of objects. (English. Russian original) Zbl 07514311

Mosc. Univ. Math. Bull. 76, No. 5, 230-233 (2021); translation from Vestn. Mosk. Univ., Ser. I 76, No. 5, 57-60 (2021).
MSC:  68Qxx 03Dxx 03Cxx
PDF BibTeX XML Cite
Full Text: DOI

Primitive recursive ordered fields and some applications. (English) Zbl 07497964

Boulier, François (ed.) et al., Computer algebra in scientific computing. 23rd international workshop, CASC 2021, Sochi, Russia, September 13–17, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12865, 353-369 (2021).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI

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

Structures of degrees of negative representations of linear orders. (English. Russian original) Zbl 07457391

Russ. Math. 65, No. 12, 27-46 (2021); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2021, No. 12, 31-55 (2021).
MSC:  03Dxx 03Cxx 08Axx
PDF BibTeX XML Cite
Full Text: DOI

Aspects of categorical recursion theory. (English) Zbl 07440908

Casadio, Claudia (ed.) et al., Joachim Lambek: the interplay of mathematics, logic, and linguistics. Cham: Springer. Outst. Contrib. Log. 20, 219-269 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

On the \(\bar\partial \)-problem and dressing method for the complex vector modified KdV equation. (English. Russian original) Zbl 07440690

Theor. Math. Phys. 209, No. 2, 1579-1598 (2021); translation from Teor. Mat. Fiz. 209, No. 2, 304-325 (2021).
MSC:  37K10 35Q53 37K40
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

Constructing a universe for the setoid model. (English) Zbl 07410416

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, 1-21 (2021).
MSC:  68Nxx 68Qxx
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