Pages that link to "Item:Q4736875"

The following pages link to (Q4736875):

Displaying 5 items.

• Complexity of hybrid logics over transitive frames (Q631089) (← links)
• On the complexity of the two-variable guarded fragment with transitive guards (Q859827) (← links)
• On the freeze quantifier in Constraint LTL: Decidability and complexity (Q868025) (← links)
• The guarded fragment with transitive guards (Q1877098) (← links)
• Complexity of Two-Variable Logic on Finite Trees (Q5278193) (← links)