Two Variable Logic with Ultimately Periodic Counting

Open Webpage

Michael Benedikt, Egor V. Kostylev, Tony Tan

Published: 01 Jan 2024, Last Modified: 04 Oct 2024SIAM J. Comput. 2024EveryoneRevisionsBibTeXCC BY-SA 4.0