The following pages link to (Q5091265):
Displaying 4 items.
- Learning union of integer hypercubes with queries (with applications to monadic decomposition) (Q832265) (← links)
- Monadic decomposition in integer linear arithmetic (Q2096441) (← links)
- Monadic representability of certain binary relations (Q3312231) (← links)
- Ramsey quantifiers over automatic structures: complexity and applications to verification (Q6649458) (← links)