The following pages link to (Q5390009):
Displayed 7 items.
- Conjunctive and Boolean grammars: the true general case of the context-free grammars (Q394967) (← links)
- One-nonterminal conjunctive grammars over a unary alphabet (Q639852) (← links)
- Representing hyper-arithmetical sets by equations over sets of integers (Q693054) (← links)
- Language equations with complementation: expressive power (Q764318) (← links)
- On Equations over Sets of Numbers and Their Limitations (Q3637239) (← links)
- Logical Theory of the Additive Monoid of Subsets of Natural Integers (Q4982989) (← links)
- Least and greatest solutions of equations over sets of integers (Q5964016) (← links)