Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Article(2)
Área temáticas
Inglés e inglés antiguo (anglosajón)(1)
Lengua(1)
Lingüística(1)
Procesos mentales conscientes e inteligencia(1)
Sistemas(1)
Origen
scopus(2)
Universal first-order logic is superfluous in the second level of the polynomial-time hierarchy
ArticleAbstract: In this paper we prove that ∀FO, the universal fragment of first-order logic, is superfluous in Σ2pPalabras claves:Computational complexity, descriptive complexity, Graph Theory, MATHEMATICAL LOGICAutores:Nerio Borges, Pin E.Fuentes:scopusSyntactic characterizations of completeness using duals and operators
ArticleAbstract: This article extends the work laid down by Medina and Immerman for the syntactic characterization ofPalabras claves:Canonical forms, completeness, descriptive complexity, Dual operator, Syntactic operatorsAutores:Bonet B., Nerio BorgesFuentes:scopus