scientific article; zbMATH DE number 1765673

MaRDI QIDQ4539609zbMATH OpenFDO

Authors Harald Ganzinger, Robert Nieuwenhuis, Pilar Nivela

Publication date 10 July 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2083/20830242

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• Fast term indexing with coded context trees
• Substitution tree indexing
• Extended path-indexing
• scientific article; zbMATH DE number 1759379
• Advanced indexing operations on substitution trees

Cited in

(7)

• Fast term indexing with coded context trees
• Efficient instance retrieval with standard and relational path indexing
• Harald Ganzinger's legacy: contributions to logics and programming
• Substitution tree indexing
• Perfect discrimination graphs: indexing terms with integer exponents
• On the saturation of YAGO
• Simplifying the signature in second-order unification

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4539609)