Pages that link to "Item:Q2720401"

The following pages link to PSPACE Reasoning for Graded Modal Logics (Q2720401):

Displaying 2 items.

• PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) (Q352965) (← links)
• Answering regular path queries in expressive description logics via alternating tree-automata (Q2252521) (← links)