×

Found 809 Documents (Results 1–100)

On the number of quantifiers as a complexity measure. (English) Zbl 07893086

Szeider, Stefan (ed.) et al., 47th international symposium on mathematical foundations of computer science, MFCS 2022, Vienna, Austria, August 22–26, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 241, Article 48, 14 p. (2022).
MSC:  68Qxx

Locally checkable problems in rooted trees. (English) Zbl 07824205

Korhonen, Janne H. (ed.), Proceedings of the 40th ACM symposium on principles of distributed computing, PODC ’21, virtual event, Italy, July 26–30, 2021. New York, NY: Association for Computing Machinery (ACM). 263-272 (2021).
MSC:  68M14 68W15

Caterpillar alignment distance for rooted labeled caterpillars: distance based on alignments required to be caterpillars. (English) Zbl 1497.68398

Fidanova, Stefka (ed.), Recent advances in computational optimization. Results of the 12th international workshop on computational optimization (WCO), Leipzig, Germany, September 1–4, 2019. Cham: Springer. Stud. Comput. Intell. 920, 111-134 (2021).
MSC:  68R10 05C05 05C85
Full Text: DOI

Filter Results by …

Access

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software