Inproceedings,

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)

Meta data

Tags

    Users

    • @scadsfct

    Comments and Reviews