Satoshi Matsumoto

An Efficient Pattern Matching Algorithm for Unordered Term Tree Patterns of Bounded Dimension

2018 · IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences

A term is a connected acyclic graph (unrooted unordered tree) pattern with structured variables, which are ordered lists of one or more distinct vertices. A variable of a term has a variable label and can …