Search for persons
X
?
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ,
1
Simulating Logspace-Recursion with Logarithmic Quantifier D..:
, In:
?
Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems ,
2
On the Parameterized Complexity of Learning First-Order Log..:
, In:
?
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science ,
3