Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Article(2)
Área temáticas
Ciencias de la computación(1)
Inglés e inglés antiguo (anglosajón)(1)
Lengua(1)
Métodos informáticos especiales(1)
Origen
scopus(2)
Universal first-order logic is superfluous for NL, P, NP and CO NP
ArticleAbstract: In this work we continue the syntactic study of completeness that began with the works of Immerman aPalabras claves:Complexity classes, descriptive complexity, First order projections, NP completeness, Problems and reductionsAutores:Bonet B., Nerio BorgesFuentes: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