The following pages link to Monadic Decomposition (Q4640286):
Displaying 7 items.
- Extended symbolic finite automata and transducers (Q746776) (← links)
- Learning union of integer hypercubes with queries (with applications to monadic decomposition) (Q832265) (← links)
- Monoidal multiplexing (Q1623124) (← links)
- Monadic decomposition in integer linear arithmetic (Q2096441) (← links)
- A layered algorithm for quantifier elimination from linear modular constraints (Q2363817) (← links)
- (Q5091265) (← links)
- Ramsey quantifiers over automatic structures: complexity and applications to verification (Q6649458) (← links)