On deciding the non-emptiness of 2SAT polytopes with respect to First Order Queries

• Autores: K. Subramani
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 50, Nº 3, 2004, pág. 281
• Idioma: inglés
• Texto completo no disponible (Saber más ...)