Tractable and intractable second-order matching problems

• Autores: Keizo Yamada, Kouichi Hirata, Masateru Harao
• Localización: Journal of symbolic computation, ISSN 0747-7171, Vol. 37, Nº 5, 2004, págs. 611-628
• Idioma: inglés
• Texto completo no disponible (Saber más ...)