The following pages link to (Q3086934):
Displaying 11 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)
- Counting trees using symmetries (Q2434888) (← links)
- Complexity of modal logics with Presburger constraints (Q2638188) (← links)
- Reasoning with Global Assumptions in Arithmetic Modal Logics (Q2947894) (← links)
- Verifying quantitative temporal properties of procedural programs (Q5009429) (← links)
- (Q5288696) (← links)
- Validating streaming JSON documents with learned VPAs (Q6535358) (← links)
- First steps towards taming description logics with strings (Q6545544) (← links)