Pages that link to "Item:Q1870591"
From MaRDI portal
The following pages link to The max-plus algebra of the natural numbers has no finite equational basis (Q1870591):
Displayed 7 items.
- Nested semantics over finite trees are equationally hard (Q598202) (← links)
- Bisimilarity is not finitely based over BPA with interrupt (Q860878) (← links)
- Equational theories of tropical semirings (Q1874279) (← links)
- Nonfinitely based ai-semirings with finitely based semigroup reducts (Q2079231) (← links)
- The max-plus algebra of exponent matrices of tiled orders (Q2401706) (← links)
- Flat extensions of groups and limit varieties of additively idempotent semirings (Q2694733) (← links)
- Semiring identities of finite inverse semigroups (Q6042622) (← links)