Login / Signup

Tractable and intractable second-order matching problems.

Kouichi HirataKeizo YamadaMasateru Harao
Published in: J. Symb. Comput. (2004)
Keyphrases