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):
Displaying 10 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)
- Which two-sorted algebras of Booleans and naturals have a finite basis? (Q2577704) (← links)
- Flat extensions of groups and limit varieties of additively idempotent semirings (Q2694733) (← links)
- Another Characterization of the Natural Numbers (Q3798720) (← links)
- Semiring identities of finite inverse semigroups (Q6042622) (← links)
- Semiring identities of the semigroup \(B_0\) (Q6651829) (← links)
