Pages that link to "Item:Q3561120"
From MaRDI portal
The following pages link to ALGEBRAIC CHARACTERIZATION OF LOGICALLY DEFINED TREE LANGUAGES (Q3561120):
Displaying 11 items.
- Recognisability for algebras of infinite trees (Q551167) (← links)
- Characterizations of recognizable weighted tree languages by logic and bimorphisms (Q1797776) (← links)
- Varieties (Q2074217) (← links)
- Algebraic recognizability of regular tree languages (Q2484441) (← links)
- Logical definability of \(Y\)-tree and trellis systolic \(\omega\)-languages (Q2770585) (← links)
- On Pseudovarieties of Forest Algebras (Q2974058) (← links)
- An Algebraic Characterization of Strictly Piecewise Languages (Q3010406) (← links)
- (Q3365845) (← links)
- Characterization of Logics over Ranked Tree Languages (Q3540193) (← links)
- (Q4273669) (← links)
- Weak Separation Problem for Tree Languages (Q5859635) (← links)