skip to main content

Idioma:

Resultados 1 - 10 de 1.153 para Búsqueda General

Ordenar por: Ordenar por: RelevanciaOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Refinado por: Título de revista: Theoretical Computer Science

eliminar

Result Number	Material Type	Add to My Shelf Action	Record Details and Options
1	Material Type: Artículo		Logical depth for reversible Turing machines with an application to the rate of decrease in logical depth for general Turing machines Vitányi, Paul M.B. Theoretical computer science, 2019-07, Vol.778, p.78-80 [Revista revisada por pares] Elsevier B.V Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
2	Material Type: Artículo		A nondeterministic Turing machine variant to compute functions Colombo, João Guilherme Fritsche ; Marchi, Jerusa Theoretical computer science, 2022-01, Vol.902, p.54-63 [Revista revisada por pares] Elsevier B.V Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
3	Material Type: Artículo		On simulating Turing machines with matrix semigroups with integrality tests Halava, Vesa ; Niskanen, Reino Theoretical computer science, 2024-07, Vol.1005, p.114637, Article 114637 [Revista revisada por pares] Elsevier B.V Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
4	Material Type: Artículo		A compiler for multi-key homomorphic signatures for Turing machines Dolatnezhad Samarin, Somayeh ; Fiore, Dario ; Venturi, Daniele ; Amini, Morteza Theoretical computer science, 2021-10, Vol.889, p.145-170 [Revista revisada por pares] Elsevier B.V Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
5	Material Type: Artículo		A formalization of multi-tape Turing machines Asperti, Andrea ; Ricciotti, Wilmer Theoretical computer science, 2015-10, Vol.603, p.23-42 [Revista revisada por pares] Elsevier B.V Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
6	Material Type: Artículo		Theory of one-tape linear-time Turing machines Tadaki, Kohtaro ; Yamakami, Tomoyuki ; Lin, Jack C.H. Theoretical computer science, 2010, Vol.411 (1), p.22-43 [Revista revisada por pares] Oxford: Elsevier B.V Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
7	Material Type: Artículo		Turing machines with two-level memory: New computational models for analyzing the input/output complexity Ma, Hengzhao ; Li, Jianzhong ; Gao, Tianpeng ; Gao, Xiangyu Theoretical computer science, 2024-02, Vol.985, p.114347, Article 114347 [Revista revisada por pares] Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
8	Material Type: Artículo		Verifying time complexity of Turing machines Gajser, David Theoretical computer science, 2015-10, Vol.600, p.86-97 [Revista revisada por pares] Elsevier B.V Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
9	Material Type: Artículo		Depth-two P systems can simulate Turing machines with NP oracles Leporati, Alberto ; Manzoni, Luca ; Mauri, Giancarlo ; Zandron, Claudio Theoretical computer science, 2022-03, Vol.908, p.43-55 [Revista revisada por pares] Elsevier B.V Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
10	Material Type: Artículo		Perennial secure multi-party computation of universal Turing machine Dolev, Shlomi ; Garay, Juan A. ; Gilboa, Niv ; Kolesnikov, Vladimir ; Kumaramangalam, Muni Venkateswarlu Theoretical computer science, 2019-05, Vol.769, p.43-62 [Revista revisada por pares] Elsevier B.V Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por

Resultados 1 - 10 de 1.153 para Búsqueda General

Ordenar por: Ordenar por: RelevanciaOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Personalizar los resultados

Editar

RSS

Añadir página a Mi Portal

Refine Search Results

Ampliar mis resultados

Ampliar mis resultados

con este tema:

Realización: Logos de Redes Sociales:

Buscando en bases de datos remotas, por favor espere

Buscando por
enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar lo que tiene hasta ahora