Author:
Masopust Tomáš,Krötzsch Markus
Publisher
Springer International Publishing
Reference33 articles.
1. Aho, A.V., Hopcroft, J.E., Ullman, J.D.: The Design and Analysis of Computer Algorithms. Addison-Wesley, Boston (1974)
2. Almeida, J., Costa, J.C., Zeitoun, M.: Pointlike sets with respect to R and J. J. Pure Appl. Algebra 212(3), 486–499 (2008)
3. Barceló, P., Libkin, L., Reutter, J.L.: Querying regular graph patterns. J. ACM 61(1), 8:1–8:54 (2014)
4. Bojanczyk, M., Segoufin, L., Straubing, H.: Piecewise testable tree languages. Logical Methods Comput. Sci. 8(3) (2012)
5. Bouajjani, A., Muscholl, A., Touili, T.: Permutation rewriting and algorithmic verification. Inf. Comput. 205(2), 199–224 (2007)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献