Pages that link to "Item:Q2804201"
From MaRDI portal
The following pages link to \(\mathsf{FO}^2(<,+1,\sim)\) on data trees, data tree automata and branching vector addition systems (Q2804201):
Displaying 5 items.
- On regular paths with counting and data tests (Q1744429) (← links)
- Logics of Repeating Values on Data Trees and Branching Counter Systems (Q2988368) (← links)
- ML and Extended Branching VASS (Q2988645) (← links)
- Forward analysis for WSTS, part I: completions (Q3386750) (← links)
- Extending two-variable logic on data trees with order on data values and its automata (Q5410335) (← links)