

53:11
published on October 13, 2025
On expansions of monadic second-order logic with power predicates - Lecture 1
By Joël Ouaknine
Appears in collection : Symposium "Open questions in the quantum many-body problem"