vix.ing · top · new · best · stats · spec

Shintaro Matsushita

  1. 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