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