Keyword:transitive closure

Publications
Transitive Closure Logic: Infinitary and Cyclic Proof Systems Reuben Rowe and Liron Cohen EasyChair Preprint 191
LOOPUS - A Tool for Computing Loop Bounds for C Programs Moritz Sinn and Florian Zuleger In:WING 2010. Workshop on Invariant Generation 2010