open navigation menu
Autores
Documentos
Organizaciones
Eventos
Proyectos
Patentes
Servicios
Inicio
Acerca de
Explorar
Análisis
Reportes
Regresar
Inicio
/
Explore
/
Authors
Mostrando
1
resultados de:
1
Filtros
Filtros aplicados
Año de Publicación: "2019"
Subtipo de publicación
Article
(1)
Publisher
Logic Journal of the IGPL
(1)
Área temáticas
Procesos mentales conscientes e inteligencia
(1)
Sistemas
(1)
Ética (Filosofía moral)
(1)
Área de conocimiento
Filosofía del lenguaje
(1)
Origen
scopus
(1)
Palabras Claves
Computational complexity
(1)
Graph Theory
(1)
MATHEMATICAL LOGIC
(1)
descriptive complexity
(1)
Universal first-order logic is superfluous in the second level of the polynomial-time hierarchy
Article
Abstract:
In this paper we prove that ∀FO, the universal fragment of first-order logic, is superfluous in Σ2p
Palabras claves:
Computational complexity, descriptive complexity, Graph Theory, MATHEMATICAL LOGIC
Autores:
Nerio Borges, Pin E.
Fuentes:
scopus
1
1
