Author:
Kuper Gabriel,Libkin Leonid,Paredaens Jan
Publisher
Springer Berlin Heidelberg
Cited by
99 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Ramsey Quantifiers in Linear Arithmetics;Proceedings of the ACM on Programming Languages;2024-01-05
2. Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic;Lecture Notes in Computer Science;2024
3. Relational Expressions for Data Transformation and Computation;Lecture Notes in Computer Science;2023-11-07
4. Inputs, Outputs, and Composition in the Logic of Information Flows;ACM Transactions on Computational Logic;2023-08-25
5. The Descriptive Complexity of Graph Neural Networks;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26