Activities per year
Activities
- 1 Invited talk
- 1 results
Search results
-
Saturation-Based Querying Procedures for the Clique-Guarded Negation Fragment
Zheng, S. (Speaker)
20 Jul 2023Activity: Talk or presentation › Invited talk › Research