Graph Logics with Rational Relations
From MaRDI portal
Publication:2846573
DOI10.2168/LMCS-9(3:1)2013zbMath1272.03147arXiv1304.4150MaRDI QIDQ2846573
Pablo Barceló, Diego Figueira, Leonid O. Libkin
Publication date: 6 September 2013
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1304.4150
intersection problemgraph databasesregular relationsrational relationsnon-primitive recursiverecognizable relationsRPQ
Database theory (68P15) Combinatorics on words (68R15) Formal languages and automata (68Q45) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05)
Related Items (7)
Conjunctive Visibly-Pushdown Path Queries ⋮ Foundations of graph path query languages. Course notes for the reasoning web summer school 2021 ⋮ Chain-Free String Constraints ⋮ Graph Logics with Rational Relations ⋮ Closure properties of synchronized relations ⋮ Complexity Hierarchies beyond Elementary ⋮ Generalized Post embedding problems
Uses Software
This page was built for publication: Graph Logics with Rational Relations
