Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artículo
|
![]() |
COMPLEXITY OF SELF-ASSEMBLED SHAPESSOLOVEICHIK, David ; WINFREE, ErikSIAM journal on computing, 2007, Vol.36 (6), p.1544-1569 [Revista revisada por pares]Philadelphia, PA: Society for Industrial and Applied MathematicsTexto completo disponible |
2 |
Material Type: Artículo
|
![]() |
Computing the solution of the Korteweg-de Vries equation with arbitrary precision on Turing machinesWeihrauch, Klaus ; Zhong, NingTheoretical computer science, 2005-02, Vol.332 (1), p.337-366 [Revista revisada por pares]Amsterdam: Elsevier B.VTexto completo disponible |
3 |
Material Type: Artículo
|
![]() |
Computing the Solutions of the Combined Korteweg-de Vries Equation by Turing MachinesLu, Dianchen ; Wang, Qingyan ; Zheng, RuiElectronic proceedings in theoretical computer science, 2010-01, Vol.24 (Proc. CCA 2010), p.101-105Open Publishing AssociationTexto completo disponible |
4 |
Material Type: Artículo
|
![]() |
Programmed grammars and their relation to the LBA problemBORDIHN, Henning ; HOLZER, MarkusActa informatica, 2006-11, Vol.43 (4), p.223-242 [Revista revisada por pares]Berlin: SpringerTexto completo disponible |
5 |
Material Type: Artículo
|
![]() |
A time complexity gap for two-way probabilistic finite-state automataDWORK, C ; STOCKMEYER, LSIAM journal on computing, 1990-12, Vol.19 (6), p.1011-1023 [Revista revisada por pares]Philadelphia, PA: Society for Industrial and Applied MathematicsTexto completo disponible |
6 |
Material Type: Capítulo de Libro
|
![]() |
The Church-Turing ThesisReus, BernhardLimits of Computation, p.123-148Cham: Springer International PublishingTexto completo disponible |
7 |
Material Type: Acta de Congreso
|
![]() |
Finding euler circuits in logarithmic parallel timeAwerbuch, B. ; Israeli, A. ; Shiloach, Y.Annual ACM Symposium on Theory of Computing: Proceedings of the sixteenth annual ACM symposium on Theory of computing, 1984, p.249-257 [Revista revisada por pares]New York, NY, USA: ACMTexto completo disponible |
8 |
Material Type: Capítulo de Libro
|
![]() |
The Unprovability of Consistency and the “Immediate Consequences” of G1 and G2Berto, FrancescoThere's Something about Gödel, 2009, p.102-127Oxford, UK: Wiley‐BlackwellTexto completo disponible |
9 |
Material Type: magazinearticle
|
![]() |
Translation equationsVere, StevenCommunications of the ACM, 1970-02, Vol.13 (2), p.83-89New York, NY, USA: ACMTexto completo disponible |
10 |
Material Type: Artículo
|
![]() |
Selmer Bringsjord and Michael Zenzen. Superminds: People Harness Hypercomputation, and More. Studies in Cognitive Systems, Volume 29. Dordrecht: Kluwer Academic Publishers, 2003. Pp. xxx + 339. ISBN 1-4020-1094-XMendelson, ElliottPhilosophia mathematica, 2005-06, Vol.13 (2), p.228-230 [Revista revisada por pares]Oxford: Oxford University PressTexto completo disponible |