×

Found 1,064 Documents (Results 1–100)

On the complexity of diameter and related problems in permutation groups. (English) Zbl 07944172

Etessami, Kousha (ed.) et al., 50th international colloquium on automata, languages, and programming, ICALP 2023, Paderborn, Germany, July 10–14, 2023. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 261, Article 134, 18 p. (2023).
MSC:  68Nxx 68Qxx
Full Text: DOI

MSO undecidability for hereditary classes of unbounded clique width. (English) Zbl 1541.03112

Manea, Florin (ed.) et al., 30th EACSL annual conference on computer science logic, CSL 2022, Göttingen, Germany, virtual conference, February 14–19, 2022. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 216, Article 17, 17 p. (2022).

Filter Results by …

Access

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference