Tractable and Intractable Second-Order Matching Problems
書誌事項
- タイトル
- Tractable and Intractable Second-Order Matching Problems
- 著者
- K.Hirata, K.Yamada, M.Harao
収録刊行物
-
- Journal of Symbolic Computation 37(5)
-
Journal of Symbolic Computation 37(5) 611-628, 2004