Inproceedings,

On Logics and Homomorphism Closure

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

Meta data

Tags

Users

  • @scadsfct

Comments and Reviews