Pages that link to "Item:Q5311161"
From MaRDI portal
The following pages link to Mathematical Foundations of Computer Science 2004 (Q5311161):
Displaying 18 items.
- Efficient algorithms for membership in Boolean hierarchies of regular languages (Q306282) (← links)
- Fragments of first-order logic over infinite words (Q537914) (← links)
- Definable transductions and weighted logics for texts (Q844894) (← links)
- Algorithmic problems and hierarchies of first-order languages (Q1112803) (← links)
- Logics for unordered trees with data constraints (Q2424682) (← links)
- Languages of dot-depth 3/2 (Q2480745) (← links)
- Algebraic recognizability of regular tree languages (Q2484441) (← links)
- Algebraic properties of \(LA\)-languages (Q2509236) (← links)
- The recognizability of sets of graphs is a robust property (Q2566292) (← links)
- Three algebraic representation levels of the language (Q2737558) (← links)
- Symbolic algorithms for language equivalence and Kleene algebra with tests (Q2819822) (← links)
- An Algebraic Characterization of Strictly Piecewise Languages (Q3010406) (← links)
- (Q3730018) (← links)
- (Q3976317) (← links)
- (Q4453210) (← links)
- Recognizable languages in divisibility monoids (Q4534182) (← links)
- (Q4874660) (← links)
- Kleene Theorems for Product Systems (Q5200095) (← links)