Pages that link to "Item:Q972384"
From MaRDI portal
The following pages link to Decision problems for language equations (Q972384):
Displaying 25 items.
- Equations over sets of integers with addition only (Q295632) (← links)
- Conjunctive and Boolean grammars: the true general case of the context-free grammars (Q394967) (← links)
- On the expressive power of univariate equations over sets of natural numbers (Q418146) (← links)
- Unambiguous conjunctive grammars over a one-symbol alphabet (Q507593) (← links)
- Complexity of equations over sets of natural numbers (Q633764) (← links)
- Maximal and minimal solutions to language equations (Q676452) (← links)
- Representing hyper-arithmetical sets by equations over sets of integers (Q693054) (← links)
- Language equations with complementation: expressive power (Q764318) (← links)
- Unresolved systems of language equations: expressive power and decision problems (Q817804) (← links)
- Language equations with complementation: decision problems (Q880178) (← links)
- Generalized language equations with multiple solutions (Q1084871) (← links)
- On language equations with invertible operations (Q1334659) (← links)
- Solving systems of explicit language relations (Q1389764) (← links)
- Solving language equations using flanked automata (Q1990504) (← links)
- Language equations (Q2074222) (← links)
- Computational completeness of equations over sets of natural numbers (Q2252522) (← links)
- Language equations with symmetric difference (Q2893311) (← links)
- On Language Decompositions and Primality (Q3003471) (← links)
- ON EQUATIONS OVER SETS OF NUMBERS AND THEIR LIMITATIONS (Q3086245) (← links)
- On language equations with concatenation and various sets of Boolean operations (Q3465630) (← links)
- (Q4005193) (← links)
- Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines (Q5060068) (← links)
- Decidability of affine solution problems (Q5158360) (← links)
- STACS 2004 (Q5309734) (← links)
- Least and greatest solutions of equations over sets of integers (Q5964016) (← links)