Pages that link to "Item:Q2846573"
From MaRDI portal
The following pages link to Graph logics with rational relations (Q2846573):
Displaying 12 items.
- Generalized Post embedding problems (Q2354596) (← links)
- Complexity hierarchies beyond elementary (Q2828216) (← links)
- Conjunctive Visibly-Pushdown Path Queries (Q2947891) (← links)
- Graph Logics with Rational Relations and the Generalized Intersection Problem (Q2986787) (← links)
- Chain-Free String Constraints (Q3297597) (← links)
- On the Expressive Power of Graph Logic (Q3613359) (← links)
- Graph logics with rational relations (Q4635595) (← links)
- Generalized rational relations and their logical definability (Q5055929) (← links)
- Closure properties of synchronized relations (Q5090470) (← links)
- Graph Logics with Rational Relations (Q5278208) (← links)
- Fregean Logical Graphs (Q6485478) (← links)
- Decision procedures for sequence theories (Q6535526) (← links)