Login / Signup

PTIME Computation of Transitive Closures of Octagonal Relations.

Filip Konecný
Published in: TACAS (2016)
Keyphrases