2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Conference

Scholarly Activity

related documents

Expressive Completeness of Two-Variable First-Order Logic with Counting for First-Order Logic Queries on Rooted Unranked Trees Conferences