@scadsfct

Finite model theory of the triguarded fragment and related logics

, and . 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), IEEE, (June 2021)

Links and resources

Tags