Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Article(2)
Publisher
Logical Methods in Computer Science(1)
RISTI - Revista Iberica de Sistemas e Tecnologias de Informacao(1)
Origen
scopus(2)
Introducing perfectly nested circuits
ArticleAbstract: Nested graphs have been used in different applications, for example to represent knowledge in semantPalabras claves:Binary sequences, Circuits, Nested graphs, Order isomorphisms, PathsAutores:Carrasco M., Nerio Borges, Pino R., Zenaida CastilloFuentes:scopusUniversal 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:scopus