generalized bindings 1height-constrained variables 1pattern matching 1polynomial-time algorithms 1unordered trees 1
From the 1 of 3 linked papers with an AI index.
Showing cs.DSShow all
2 papers · 1 filter
cs.DS2026
Efficient Pattern Matching for Unordered Term Tree Patterns under Generalized Height-Constrained Bindings
Shintaro Matsushita, Takayoshi Shoudai, Yusuke Suzuki
The paper presents a polynomial‑time algorithm for matching unordered term tree patterns with height‑constrained variables under a generalized binding model, and validates its prac…
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…