Calculating Exact Transitive Closure for a Normalized Affine Integer Tuple Relation

DOI10.1016/j.endm.2009.03.002zbMath1267.05071OpenAlexW2062917934MaRDI QIDQ2839225

Włodzimierz Bielecki, Tomasz Klimek, K. Trifunovic

Publication date: 4 July 2013

Published in: Electronic Notes in Discrete Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.endm.2009.03.002

zbMATH Keywords

recurrence equationPresburger arithmeticaffine integer tuple relationexact transitive closure

Mathematics Subject Classification ID

Planar graphs; geometric and topological aspects of graph theory (05C10)

Related Items (2)

AN ITERATIVE ALGORITHM OF COMPUTING THE TRANSITIVE CLOSURE OF A UNION OF PARAMETRIZED AFFINE INTEGER TUPLE RELATIONS ⋮ A Modular Static Analysis Approach to Affine Loop Invariants Detection

Uses Software

• Omega

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Calculating Exact Transitive Closure for a Normalized Affine Integer Tuple Relation