Complexity and expressive power of second-order extended Horn logic

• Autores: Shiguang Feng, Xishun Zhao
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 59, Nº. 1-2, 2013, págs. 4-11
• Idioma: inglés
• Texto completo no disponible (Saber más ...)