Up a level |
Number of items: 1.
Benedikt, Michael, Kostylev, Egor and Tan, Tony ORCID: 0009-0005-8341-2004
(2024)
Two variable logic with ultimately periodic counting.
SIAM Journal on Computing.
Up a level |
Benedikt, Michael, Kostylev, Egor and Tan, Tony ORCID: 0009-0005-8341-2004
(2024)
Two variable logic with ultimately periodic counting.
SIAM Journal on Computing.
Research Support, University of Liverpool
Sydney Jones Library, Abercromby Square
Liverpool
L69 3DA,
UK
+44 (0)151 794 0000