Xuanrui Qi

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 2

Top Topics

Orders Of Magnitude

Index Structure

Computational Efficiency

Top Venues

Publications

Reynald Affeldt, Jacques Garrigue, Xuanrui Qi, Kazunari Tanaka
Proving tree algorithms for succinct data structures. CoRR (2019)
Reynald Affeldt, Jacques Garrigue, Xuanrui Qi, Kazunari Tanaka
Proving Tree Algorithms for Succinct Data Structures. ITP (2019)