The following pages link to (Q3086934):
Displayed 7 items.
- Automata for unordered trees (Q515668) (← links)
- Schemas for unordered XML on a DIME (Q905687) (← links)
- On regular paths with counting and data tests (Q1744429) (← links)
- Logics for unordered trees with data constraints (Q2424682) (← links)
- Complexity of modal logics with Presburger constraints (Q2638188) (← links)
- Reasoning with Global Assumptions in Arithmetic Modal Logics (Q2947894) (← links)
- (Q5009429) (← links)