An Iterative Algorithm of Computing the Transitive Closure of a Union of Parameterized Affine Integer Tuple Relations
2012 ◽
Vol 04
(01)
◽
pp. 1250011
2011 ◽
Vol 30
(7)
◽
pp. 1562-1565
2021 ◽
Vol 15
◽
pp. 174830262110113
2021 ◽
pp. 1-14
Keyword(s):