×

Found 5,783 Documents (Results 1–100)

100
MathJax

A logic and computation for Popper’s conditional probabilities. (English) Zbl 07542375

Vejnarová, Jiřina (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 16th European conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12897, 657-671 (2021).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

A probabilistic deontic logic. (English) Zbl 07542372

Vejnarová, Jiřina (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 16th European conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12897, 616-628 (2021).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

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:  68M25 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Compositions of constant weighted extended tree transducers. (English) Zbl 07498716

Moreira, Nelma (ed.) et al., Developments in language theory. 25th international conference, DLT 2021, Porto, Portugal, August 16–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12811, 66-77 (2021).
MSC:  68Q45
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

A logical description of strategizing in social network games. (English) Zbl 1484.91079

Liao, Beishui (ed.) et al., Logics for new-generation AI 2021. First international workshop, LNGAI 2021, June, 18–20 2021, Hangzhou, China. London: College Publications. 107-119 (2021).
MSC:  91A43 03B45 91D30
PDF BibTeX XML Cite

The Diophantine problem in the classical matrix groups. (English. Russian original) Zbl 07480691

Izv. Math. 85, No. 6, 1220-1256 (2021); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 85, No. 6, 205-244 (2021).
PDF BibTeX XML Cite
Full Text: DOI

An algebraic view on p-admissible concrete domains for lightweight description logics. (English) Zbl 07437042

Faber, Wolfgang (ed.) et al., Logics in artificial intelligence. 17th European conference, JELIA 2021, virtual event, May 17–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12678, 194-209 (2021).
MSC:  68T27
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

Compositional satisfiability solving in separation logic. (English) Zbl 1472.03025

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, 578-602 (2021).
MSC:  03B70 03B25 68T20
PDF BibTeX XML Cite
Full Text: DOI

Deciding the Bernays-Schoenfinkel fragment over bounded difference constraints by simple clause learning over theories. (English) Zbl 1472.03024

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, 511-533 (2021).
MSC:  03B70 03B25 68Q32
PDF BibTeX XML Cite
Full Text: DOI

Certifying proofs in the first-order theory of rewriting. (English) Zbl 1474.68166

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 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. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 127-144 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Strong-separation logic. (English) Zbl 1473.03015

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 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. 12648, 664-692 (2021).
MSC:  03B70 03B25
PDF BibTeX XML Cite
Full Text: DOI arXiv

Uniqueness in planar endogenous business cycle theories. (English) Zbl 1470.91168

Velupillai, Kumaraswamy (ed.), Keynesian, Sraffian, computable and dynamic economics. Theoretical and simulational (numerical) approaches. Cham: Palgrave Macmillan. 273-310 (2021).
MSC:  91B62
PDF BibTeX XML Cite
Full Text: DOI

General decidability results for asynchronous shared-memory programs: higher-order and beyond. (English) Zbl 1467.68040

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 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. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 449-467 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Crisp-determinization of weighted tree automata over additively locally finite and past-finite monotonic strong bimonoids is decidable. (English) Zbl 07371288

Jirásková, Galina (ed.) et al., Descriptional complexity of formal systems. 22nd international conference, DCFS 2020, Vienna, Austria, August 24–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12442, 39-51 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software