Furusawa, Hitoshi; Struth, Georg Concurrent dynamic algebra. (English) Zbl 1367.03054 ACM Trans. Comput. Log. 16, No. 4, Article No. 30, 38 p. (2015). MSC: 03B70 03B45 03G25 68Q85 68T15 PDFBibTeX XMLCite \textit{H. Furusawa} and \textit{G. Struth}, ACM Trans. Comput. Log. 16, No. 4, Article No. 30, 38 p. (2015; Zbl 1367.03054) Full Text: DOI arXiv
Fletcher, George H. L.; Gyssens, Marc; Leinders, Dirk; Surinx, Dimitri; Van den Bussche, Jan; Van Gucht, Dirk; Vansummeren, Stijn; Wu, Yuqing Relative expressive power of navigational querying on graphs. (English) Zbl 1360.68394 Inf. Sci. 298, 390-406 (2015). MSC: 68P15 05C90 PDFBibTeX XMLCite \textit{G. H. L. Fletcher} et al., Inf. Sci. 298, 390--406 (2015; Zbl 1360.68394) Full Text: DOI arXiv Link
Kowalski, Tomasz Representability of Ramsey relation algebras. (English) Zbl 1322.05062 Algebra Univers. 74, No. 3-4, 265-275 (2015). MSC: 05C15 05D10 06E25 08A02 PDFBibTeX XMLCite \textit{T. Kowalski}, Algebra Univers. 74, No. 3--4, 265--275 (2015; Zbl 1322.05062) Full Text: DOI
Fletcher, George H. L.; Gyssens, Marc; Leinders, Dirk; Van den Bussche, Jan; Van Gucht, Dirk; Vansummeren, Stijn; Wu, Yuqing The impact of transitive closure on the expressiveness of navigational query languages on unlabeled graphs. (English) Zbl 1319.68070 Ann. Math. Artif. Intell. 73, No. 1-2, 167-203 (2015). MSC: 68P15 03C07 05C60 68R10 PDFBibTeX XMLCite \textit{G. H. L. Fletcher} et al., Ann. Math. Artif. Intell. 73, No. 1--2, 167--203 (2015; Zbl 1319.68070) Full Text: DOI