Formally Verified Suffix Array Construction

MaRDI QIDQ7361162FDO

Authors Louis Cheung, Christine Rizkallah

Publication date 25 September 2024

Cites work

• Space efficient linear time construction of suffix arrays
• Suffix Arrays: A New Method for On-Line String Searches

Cited in

(1)

• Formalised Burrows-Wheeler Transform

This page was built for software: Formally Verified Suffix Array Construction