Skip to content

FO Logic on Cellular Automata Orbits Equals MSO Logic.

Guillaume Theyssier

VenueA*ICALP
Year2024
ProceedingsICALP

Browse the full ICALP paper archive.