Pages that link to "Item:Q715044"
From MaRDI portal
The following pages link to First-order logics: some characterizations and closure properties (Q715044):
Displaying 7 items.
- CIFOL: case-intensional first order logic. I: Toward a theory of sorts (Q484112) (← links)
- Weighted operator precedence languages (Q2064530) (← links)
- Characterization and complexity results on jumping finite automata (Q2357104) (← links)
- Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization (Q2944566) (← links)
- (Q4950082) (← links)
- Weighted Operator Precedence Languages (Q5111245) (← links)
- Dyck words, pattern avoidance, and automatic sequences (Q6615627) (← links)
