Simulating logspace-recursion with logarithmic quantifier depth

DOI10.1109/LICS56636.2023.10175818MaRDI QIDQ6851647zbMATH OpenFDO

Authors Steffen van Bergerem, Martin Grohe, Sandra Kiefer, Luca Oeljeklaus

Publication date 27 February 2026

Full work available at URL https://doi.org/10.1109/LICS56636.2023.10175818

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cited in

(1)

• The iteration number of the Weisfeiler-Leman algorithm

This page was built for publication: Simulating logspace-recursion with logarithmic quantifier depth

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6851647)