Pages that link to "Item:Q2947891"
From MaRDI portal
The following pages link to Conjunctive Visibly-Pushdown Path Queries (Q2947891):
Displaying 4 items.
- Local higher-order fixpoint iteration (Q2105477) (← links)
- (Q5021005) (← links)
- Beyond \(\mathcal{ALC}_{\textsf{reg}} \): exploring non-regular extensions of PDL with description logics features (Q6545542) (← links)
- Exploring non-regular extensions of propositional dynamic logic with description-logics features (Q6563054) (← links)
