Publications Scientifiques
Permanent URI for this communityhttps://dspace.univ-boumerdes.dz/handle/123456789/10
Browse
3 results
Search Results
Item Verified Path Indexing(pringer Science and Business Media Deutschland GmbH, 2025) Chaabani, Mohamed; Robillard, SimonThe indexing of syntactic terms is a key component for the efficient implementation of automated theorem provers. This paper presents the first verified implementation of a term indexing data structure, namely a formalization of path indexing in the proof assistant Isabelle/HOL. We define the data structure, maintenance operations, and retrieval operations, including retrieval of unifiable terms, instances, generalizations and variants. We prove that maintenance operations preserve the invariants of the structure, and that retrieval operations are sound and completeItem A many-sorted theory proposal for information retrieval : axiomatization and semantics(Springer, 2017) Zerarga, Loutfi; Djouadi, YassineItem A new hybrid algorithm for document clustering based on cuckoo search and K-means(Springer, 2014) Ishak Boushaki, Saida; Nadjet, Kamel; Bendjeghaba, Omar