×

Found 1,766 Documents (Results 1–100)

100
MathJax

Inverse theorems on the approximation of periodic functions with high generalized smoothness. (English. Russian original) Zbl 1485.42003

Math. Notes 111, No. 2, 320-323 (2022); translation from Mat. Zametki 111, No. 2, 312-315 (2022).
MSC:  42A10 41A50 46E35
PDF BibTeX XML Cite
Full Text: DOI

Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic. (English) Zbl 07496655

Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 329-344 (2021).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

Experiments in causality and STIT. (English) Zbl 1484.68314

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. 33-45 (2021).
MSC:  68V15 03B42 68T27
PDF BibTeX XML Cite

Fixed point limits of self-similar network sequences. (English) Zbl 1473.05211

Banaszak, Grzegorz (ed.) et al., Arithmetic methods in mathematical physics and biology II. Proceedings of the 2nd international conference, Będlewo, Poland, August 5–11, 2018. Warsaw: Polish Academy of Sciences, Institute of Mathematics. Banach Cent. Publ. 124, 85-93 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Aspects of differential geometry V. (English) Zbl 1472.53001

Synthesis Lectures on Mathematics and Statistics 41. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-63639-112-0/hbk; 978-1-63639-110-6/pbk; 978-1-63639-111-3/ebook). xvi, 140 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Public announcement logic in HOL. (English) Zbl 07437025

Martins, Manuel A. (ed.) et al., Dynamic logic. New trends and applications. Third international workshop, Dalí 2020, Prague, Czech Republic, October 9–10, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12569, 222-238 (2020).
MSC:  03B42 68V15
PDF BibTeX XML Cite
Full Text: DOI arXiv

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

Biographic Reference