Pages that link to "Item:Q3194725"
From MaRDI portal
The following pages link to First-Order Logic Definability of Free Languages (Q3194725):
Displaying 10 items.
- Generalizing input-driven languages: theoretical and practical benefits (Q1706605) (← links)
- Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization (Q2944566) (← links)
- Non-definability of Languages by Generalized First-order Formulas over (N,+) (Q2986821) (← links)
- (Q4231780) (← links)
- First-order functional languages and intensional logic (Q4339019) (← links)
- (Q4544362) (← links)
- AN APPLICATION OF FIRST-ORDER LOGIC TO THE STUDY OF RECOGNIZABLE LANGUAGES (Q4658712) (← links)
- On Existentially First-Order Definable Languages and Their Relation to NP (Q4718893) (← links)
- (Q5443925) (← links)
- Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages (Q6137830) (← links)