Author:
Bojańczyk Mikolaj,David Claire,Muscholl Anca,Schwentick Thomas,Segoufin Luc
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. GPC: A Pattern Calculus for Property Graphs;Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems;2023-06-18
2. Pebble-Intervals Automata and FO$$^2$$ with Two Orders;Language and Automata Theory and Applications;2020
3. On the satisfiability problem for fragments of two-variable logic with one transitive relation;Journal of Logic and Computation;2019-07-30
4. Decision Problems for Finite Automata over Infinite Algebraic Structures;Implementation and Application of Automata;2016
5. Fast;ACM Transactions on Programming Languages and Systems;2015-10-16