Pages that link to "Item:Q3637216"
From MaRDI portal
The following pages link to Regular Languages Definable by Majority Quantifiers with Two Variables (Q3637216):
Displaying 5 items.
- Regular languages defined by generalized first-order formulas with a bounded number of bound variables (Q1405799) (← links)
- Regular languages defined with generalized quantifiers (Q1892890) (← links)
- ``Most of'' leads to undecidability: failure of adding frequencies to LTL (Q2233396) (← links)
- A Language-Theoretical Approach to Descriptive Complexity (Q2817376) (← links)
- Separating regular languages with two quantifier alternations (Q4558789) (← links)