Strictly capturing non-strict closures.

Zachary J. Sullivan Paul Downen Zena M. Ariola

Published in: PEPM@POPL (2021)

Keyphrases

transitive closure
image processing
image sequences
search algorithm