The following pages link to Decidable unary varieties (Q1085191):
Displaying 8 items.
- Compatible relations on Heyting chains (Q664307) (← links)
- Deciding determinism of unary languages (Q897659) (← links)
- Decidability of behavioural equivalence in unary PCF (Q1285665) (← links)
- (Q2767094) (← links)
- Finitely Decidable Congruence Modular Varieties (Q3142089) (← links)
- Church-Rosser property and decidability of monadic theories of unary algebras (Q3781062) (← links)
- Decidable discriminator varieties from unary varieties (Q3984411) (← links)
- Deterministic unimodularity certification (Q5244546) (← links)