C4.C — Two variable logic with ultimately periodic counting

ICALP 2020

C4.C — Two variable logic with ultimately periodic counting

Sep 23, 2020
|
39 views
Details
ICALP-B 2020 Two variable logic with ultimately periodic counting Michael Benedikt, Egor V. Kostylev, Tony Tan

Comments
loading...