Items where Author is "Sreejith, A. V."
Up a level
Group by: Type | No Grouping
Number of items: 1.
Article
Bojanczyk, M., Daviaud, L. 
ORCID: 0000-0002-9220-7118, Guillon, B. (2020).
Undecidability of a weak version of MSO+U.
Logical Methods in Computer Science, 16(1),
12:1-12:15.
doi: 10.23638/LMCS-16(1:12)2020
