Executable Transitive Closures

René Thiemann. Executable Transitive Closures. Archive of Formal Proofs, 2012, 2012. [doi]

No reviews for this publication, yet.