2 papers
cs.DS2026
Efficient Pattern Matching for Unordered Term Tree Patterns under Generalized Height-Constrained Bindings
Shintaro Matsushita, Takayoshi Shoudai, Yusuke Suzuki
Unordered trees are useful for modeling hierarchical structures in which the order among siblings is irrelevant. To represent flexible structural patterns in such data, unordered t…
cs.DS2026
Efficient Pattern Matching in Unordered Term Tree Patterns with Height Constraints
Shintaro Matsushita, Takayoshi Shoudai, Yusuke Suzuki
Unordered trees appear in applications where the order among child vertices is insignificant, such as abstract syntax trees and chemical structures. To describe patterns in such tr…