Tractable and intractable second-order matching problems

Autor: Hirata, Kouichi, Yamada, Keizo, Harao, Masateru
Zdroj: In Journal of Symbolic Computation 2004 37(5):611-628
Databáze: ScienceDirect