×

Found 12,993 Documents (Results 1–100)

100
MathJax

Hyperarithmetical worm battles. (English) Zbl 07551711

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13137, 52-69 (2022).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

On Ramsey numbers for arbitrary sequences of graphs. (English. Russian original) Zbl 07544358

Dokl. Math. 105, No. 1, 14-17 (2022); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 502, 19-22 (2022).
MSC:  05C55 05D10 05C80
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