Author:
Chandra Ashok K.,Harel David
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Logic for P: Are we Nearly There Yet?;ACM SIGLOG News;2024-04
2. A First-order Logic with Frames;ACM Transactions on Programming Languages and Systems;2023-05-15
3. Beyond FO Within SO;Intelligent Systems Reference Library;2023
4. Worst-case Optimal Join Algorithms;Journal of the ACM;2018-03-27
5. Database Theory, Yuri, and Me;Fields of Logic and Computation;2010