Pages that link to "Item:Q357923"
From MaRDI portal
The following pages link to Algorithm for verifying the equivalence of linear unary recursive programs on ordered semigroup scales (Q357923):
Displaying 2 items.
The following pages link to Algorithm for verifying the equivalence of linear unary recursive programs on ordered semigroup scales (Q357923):
Displaying 2 items.