Pages that link to "Item:Q3431438"
From MaRDI portal
The following pages link to Decision problems among the main subfamilies of rational relations (Q3431438):
Displaying 13 items.
- Learning union of integer hypercubes with queries (with applications to monadic decomposition) (Q832265) (← links)
- Synchronizing relations on words (Q905682) (← links)
- Monadic decomposition in integer linear arithmetic (Q2096441) (← links)
- Uniform strategies, rational relations and jumping automata (Q2346407) (← links)
- (Q3152806) (← links)
- Deciding whether a relation defined in Presburger logic can be defined in weaker logics (Q3514638) (← links)
- Resynchronizing Classes of Word Relations (Q5002809) (← links)
- (Q5090448) (← links)
- (Q5091265) (← links)
- An Automata Theoretic Approach to Rational Tree Relations (Q5448669) (← links)
- Preface (Q5900158) (← links)
- Resynchronized uniformization and definability problems for rational relations (Q6599794) (← links)
- Ramsey quantifiers over automatic structures: complexity and applications to verification (Q6649458) (← links)
