vix.ing
·
top
·
new
·
best
·
stats
·
spec
Takayoshi Shoudai
Efficient Pattern Matching for Unordered Term Tree Patterns under Generalized Height-Constrained Bindings
2026/07/16 by
Shintaro Matsushita
,
Takayoshi Shoudai
,
Yusuke Suzuki
#cs.DS
#cs.FL