Pages that link to "Item:Q393136"

The following pages link to Thomas Schneider (Q393136):

Displaying 4 items.

• Generalized satisfiability for the description logic \(\mathcal{ALC}\) (Q393137) (← links)
• Complexity of hybrid logics over transitive frames (Q631089) (← links)
• The complexity of hybrid logics over equivalence relations (Q1047797) (← links)
• The tractability of model checking for LTL (Q2946630) (← links)