×

Found 4,523 Documents (Results 1–100)

100
MathJax

On the 4-spectrum of first-order properties of random graphs. (English. Russian original) Zbl 07492938

Dokl. Math. 104, No. 2, 247-249 (2021); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 500, 31-34 (2021).
PDF BibTeX XML Cite
Full Text: DOI

On the convergence of probabilities of first-order sentences for recursive random graph models. (English. Russian original) Zbl 1478.05139

Dokl. Math. 102, No. 2, 384-386 (2020); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 494, 35-37 (2020).
MSC:  05C80 05D40 03C13
PDF BibTeX XML Cite
Full Text: DOI

Formalized proofs of the infinity and normal form predicates in the first-order theory of rewriting. (English) Zbl 1483.68149

Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12079, 178-194 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Star-freeness, first-order definability and aperiodicity of structured context-free languages. (English) Zbl 07369988

Pun, Violet Ka I. (ed.) et al., Theoretical aspects of computing – ICTAC 2020. 17th international colloquium, Macau, China, November 30 – December 4, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12545, 161-180 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Counting bounded tree depth homomorphisms. (English) Zbl 07299492

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). 507-520 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI arXiv

Successor-invariant first-order logic on classes of bounded degree. (English) Zbl 07299490

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). 479-491 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI arXiv

First-order tree-to-tree functions. (English) Zbl 07299473

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). 252-265 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI arXiv

Interval methods for solving various kinds of quantified nonlinear problems. (English) Zbl 07285516

Kosheleva, Olga (ed.) et al., Beyond traditional probabilistic data processing techniques: interval, fuzzy etc. methods and their applications. Dedicated to Vladik Kreinovich on the occasion of his 65th birthday. Cham: Springer. Stud. Comput. Intell. 835, 311-328 (2020).
MSC:  68T37
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