"Two Variable Logic with Ultimately Periodic Counting."

Michael Benedikt, Egor V. Kostylev, Tony Tan (2020)

Details and statistics

DOI: 10.4230/LIPICS.ICALP.2020.112

access: open

type: Conference or Workshop Paper

metadata version: 2024-10-06