Pages that link to "Item:Q5958118"
From MaRDI portal
The following pages link to A polynomial-time algorithm for checking equivalence under certain semiring congruences motivated by the state-space isomorphism problem for hybrid systems (Q5958118):
Displaying 2 items.