Pages that link to "Item:Q5278208"
From MaRDI portal
The following pages link to Graph Logics with Rational Relations (Q5278208):
Displaying 15 items.
- Institutions for navigational logics for graphical structures (Q724928) (← links)
- Subsequence versus substring constraints in sequence pattern languages (Q2022305) (← links)
- Word equations in the context of string solving (Q2163975) (← links)
- A logic for document spanners (Q2322723) (← links)
- Graph logics with rational relations (Q2846573) (← links)
- Graph Logics with Rational Relations and the Generalized Intersection Problem (Q2986787) (← links)
- A term-graph clausal logic: completeness and incompleteness results ★ (Q3643364) (← links)
- Graph logics with rational relations (Q4635595) (← links)
- Pattern logics and auxiliary relations (Q4635625) (← links)
- Closure properties of synchronized relations (Q5090470) (← links)
- (Q5283020) (← links)
- Positive First-order Logic on Words and Graphs (Q6135776) (← links)
- Evaluation diversity for graph conditions (Q6156934) (← links)
- Using Multigraphs to Study the Interaction Between Opposition, Implication and Duality Relations in Logical Squares (Q6485469) (← links)
- A closer look at the expressive power of logics based on word equations (Q6580075) (← links)