LICS 2020 talk: Register Automata with Extrema Constraints and an Application to Two-Variable Logic
Why it's on BrighterTube
Editorial review · 85% confidenceRound-10 hunt: picked; channel-level screens (sellers/exam/re-upload/devotional/vendor/events) and provenance check passed; strict per-title check + final strict pass; oEmbed verified.
What you'll learn
A 26-minute video from Szymon Toruńczyk: “LICS 2020 talk: Register Automata with Extrema Constraints and an Application to Two-Variable Logic”.
Video by Szymon Toruńczyk, played through YouTube's embedded player.