Pages that link to "Item:Q2303231"
From MaRDI portal
The following pages link to ExpTime tableaux with global caching for hybrid PDL (Q2303231):
Displaying 5 items.
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching (Q352943) (← links)
- Tableaux with partial caching for hybrid PDL with satisfaction statements (Q1675810) (← links)
- A goal-directed decision procedure for hybrid PDL (Q2351150) (← links)
- Clausal tableaux for hybrid PDL (Q2825411) (← links)
- Table space designs for implicit and explicit concurrent tabled evaluation (Q4559837) (← links)