Takashi's Notes
Search
Search
Dark mode
Light mode
Explorer
Home
❯
papers
❯
1972
Folder: papers/1972
2 items under this folder.
Jul 20, 2025
An approach to proving the correctness of data base operations
Jul 20, 2025
Retrieval efficiency using combined indices