Efficient instance retrieval with standard and relational path indexing
From MaRDI portal
Publication:2486586
Recommendations
Cites work
- scientific article; zbMATH DE number 1809861 (Why is no real title available?)
- scientific article; zbMATH DE number 1809862 (Why is no real title available?)
- scientific article; zbMATH DE number 1809863 (Why is no real title available?)
- scientific article; zbMATH DE number 4049047 (Why is no real title available?)
- scientific article; zbMATH DE number 1552512 (Why is no real title available?)
- scientific article; zbMATH DE number 1759379 (Why is no real title available?)
- scientific article; zbMATH DE number 1765673 (Why is no real title available?)
- scientific article; zbMATH DE number 1765674 (Why is no real title available?)
- scientific article; zbMATH DE number 236855 (Why is no real title available?)
- Automata-driven indexing of prolog clauses
- Experiments with discrimination-tree indexing and path indexing for term retrieval
- Handbook of automated reasoning. In 2 vols
- Paramodulation-based theorem proving
- Substitution tree indexing
- Term indexing
- The anatomy of vampire. Implementing bottom-up procedures with code trees
Cited in
(2)
This page was built for publication: Efficient instance retrieval with standard and relational path indexing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2486586)