Higher-order associative commutative pattern matching for component retrieval

MaRDI QIDQ2845520zbMATH OpenFDO

Authors David Hemer

Publication date 30 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S157106610300015X

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Algorithms on strings (68W32)

Recommendations

• scientific article; zbMATH DE number 1638660
• Partial match retrieval in implicit data structures
• scientific article; zbMATH DE number 1738298
• Indexed multi-pattern matching
• Partial-match retrieval using hashing and descriptors
• Partial match retrieval of multidimensional data

Describes a project that uses

Uses Software

• HOL

This page was built for publication: Higher-order associative commutative pattern matching for component retrieval

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