The following pages link to (Q4418614):
Displaying 10 items.
- Canonical finite models of Kleene algebra with tests (Q299196) (← links)
- Representation theory of finite semigroups over semirings. (Q657946) (← links)
- On varieties of meet automata (Q955003) (← links)
- Representation of normal bands as semigroups of \(k\)-bi-ideals of a semiring (Q1646605) (← links)
- Some remarks on the Jacobson radical types of semirings and related problems (Q2405492) (← links)
- Decidability of trajectory-based equations (Q2575751) (← links)
- Obituary: Libor Polák (1950--2020) (Q2663112) (← links)
- Derivations of skew Ore polynomial semirings (Q5119194) (← links)
- Derivations of polynomial semirings (Q5216186) (← links)
- The View Selection Problem for Regular Path Queries (Q5458522) (← links)