Pages that link to "Item:Q2905312"
From MaRDI portal
The following pages link to An iterative algorithm of computing the transitive closure of a union of parametrized affine integer tuple relations (Q2905312):
Displaying 2 items.