Pages that link to "Item:Q1405799"
From MaRDI portal
The following pages link to Regular languages defined by generalized first-order formulas with a bounded number of bound variables (Q1405799):
Displaying 13 items.
- Linear circuits, two-variable logic and weakly blocked monoids (Q391307) (← links)
- A note on pure and \(p\)-pure languages (Q1424361) (← links)
- Regular languages defined with generalized quantifiers (Q1892890) (← links)
- Möbius functions and semigroup representation theory. II: Character formulas and multiplicities. (Q2470414) (← links)
- Two-variable first order logic with modular predicates over words (Q2957895) (← links)
- A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS (Q3538848) (← links)
- WEAKLY ITERATED BLOCK PRODUCTS AND APPLICATIONS TO LOGIC AND COMPLEXITY (Q3561125) (← links)
- Non-solvable Groups Are Not in FO+MOD+MÂJ2[REG] (Q3618574) (← links)
- Regular Languages Definable by Majority Quantifiers with Two Variables (Q3637216) (← links)
- One quantifier alternation in first-order logic with modular predicates (Q5245724) (← links)
- THE DOT-DEPTH AND THE POLYNOMIAL HIERARCHIES CORRESPOND ON THE DELTA LEVELS (Q5462667) (← links)
- Automata, Languages and Programming (Q5716803) (← links)
- Principles and Practice of Constraint Programming – CP 2004 (Q5900313) (← links)
