Formally Verified Suffix Array Construction

Louis Cheung, Alistair Moffat, Christine Rizkallah. Formally Verified Suffix Array Construction. Journal of Automated Reasoning, 9(3):21, 1992. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.