The following pages link to Extended path-indexing (Q5210794):
Displaying 8 items.
- Experiments with discrimination-tree indexing and path indexing for term retrieval (Q688554) (← links)
- Fast term indexing with coded context trees (Q1876097) (← links)
- An efficient subsumption test pipeline for BS(LRA) clauses (Q2104505) (← links)
- Efficient instance retrieval with standard and relational path indexing (Q2486586) (← links)
- Path indexing for AC-theories (Q4647560) (← links)
- (Q5020994) (← links)
- Substitution tree indexing (Q5055823) (← links)
- An algorithm for the retrieval of unifiers from discrimination trees (Q5235251) (← links)