1 code implementation • 4 Apr 2019 • Reynald Affeldt, Jacques Garrigue, Xuanrui Qi, Kazunari Tanaka
We present here the formalization in Coq/SSReflect of two different tree-based succinct representations and their accompanying algorithms.
Programming Languages Data Structures and Algorithms