1 |
Statistical Complexity Analysis of Turing Machine tapes with Fixed Algorithmic Complexity Using the Best-Order Markov Model
|
|
|
|
In: Entropy ; Volume 22 ; Issue 1 (2020)
|
|
BASE
|
|
Show details
|
|
2 |
On Aperiodic Reversible Turing Machines (invited talk)
|
|
|
|
In: Reversible Computation 10th International Conference (RC 2018) ; https://hal.archives-ouvertes.fr/hal-01984995 ; Reversible Computation 10th International Conference (RC 2018), Sep 2018, Leicester, United Kingdom. pp.61-64, ⟨10.1007/978-3-319-99498-7_4⟩ (2018)
|
|
BASE
|
|
Show details
|
|
3 |
Programação como forma de vida : uma crítica ao representacionalismo na teoria da computação ; Computer programming as form of life : a critique of representationalism in theory of computation
|
|
|
|
BASE
|
|
Show details
|
|
4 |
Ambiguity of $\omega$-Languages of Turing Machines
|
|
|
|
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.archives-ouvertes.fr/hal-00735050 ; Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 10 (3:12), pp.1-18 (2014)
|
|
BASE
|
|
Show details
|
|
5 |
Computing Issues of Asynchronous CA
|
|
|
|
In: ISSN: 0169-2968 ; Fundamenta Informaticae ; https://hal.archives-ouvertes.fr/hal-01312565 ; Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2012, 120, pp.165-180. ⟨10.3233/FI-2012-755⟩ ; http://content.iospress.com/articles/fundamenta-informaticae/fi120-2-03 (2012)
|
|
BASE
|
|
Show details
|
|
7 |
The Computational Power of Interactive Recurrent Neural Networks
|
|
|
|
In: Hava Siegelmann (2012)
|
|
BASE
|
|
Show details
|
|
8 |
Program-size versus Time Complexity Slowdown and Speed-up Phenomena in the Micro-cosmos of Small Turing Machines
|
|
|
|
In: ISSN: 1548-7199 ; EISSN: 1548-7202 ; International Journal of Unconventional Computing ; https://halshs.archives-ouvertes.fr/halshs-00792281 ; International Journal of Unconventional Computing, Old City Publishing, 2011, 7 (5), pp.353-387 (2011)
|
|
BASE
|
|
Show details
|
|
9 |
The complexity of small universal Turing machines : a survey
|
|
|
|
BASE
|
|
Show details
|
|
10 |
Complejidad descriptiva y computacional en máquinas de Turing pequeñas
|
|
|
|
In: Actas de las V Jornadas Ibéricas, Lógica Universal e Unidade da Ciência, CFCUL ; https://halshs.archives-ouvertes.fr/halshs-00792282 ; Actas de las V Jornadas Ibéricas, Lógica Universal e Unidade da Ciência, CFCUL, 2010 (2010)
|
|
BASE
|
|
Show details
|
|
11 |
Graph Grammars on Galois Machines
|
|
|
|
In: http://arxiv.org/pdf/0812.4009v14.pdf (2009)
|
|
BASE
|
|
Show details
|
|
12 |
Graph Grammars on Galois Machines
|
|
|
|
In: http://arxiv.org/pdf/0812.4009v12.pdf (2009)
|
|
BASE
|
|
Show details
|
|
13 |
Graph Grammars on Galois Machines
|
|
|
|
In: http://arxiv.org/pdf/0812.4009v10.pdf (2009)
|
|
BASE
|
|
Show details
|
|
14 |
Graph Grammars on Galois Machines
|
|
|
|
In: http://arxiv.org/pdf/0812.4009v13.pdf (2009)
|
|
BASE
|
|
Show details
|
|
15 |
Graph Grammars on Galois Machines
|
|
|
|
In: http://arxiv.org/pdf/0812.4009v15.pdf (2009)
|
|
BASE
|
|
Show details
|
|
16 |
Proposal for A Galois Machine
|
|
|
|
In: http://arxiv.org/pdf/0812.4009v9.pdf (2009)
|
|
BASE
|
|
Show details
|
|
17 |
Graph Grammars on Galois Machines
|
|
|
|
In: http://arxiv.org/pdf/0812.4009v11.pdf (2009)
|
|
BASE
|
|
Show details
|
|
18 |
The Interactive Nature of Computing: Refuting the Strong Church-Turing Thesis
|
|
|
|
In: http://www.cs.brown.edu/people/pw/strong-cct.pdf (2007)
|
|
BASE
|
|
Show details
|
|
20 |
The Turing Closure of an Archimedean Field
|
|
|
|
In: ftp://dotto.usr.dsi.unimi.it/users/vigna/TuringClosure.ps.gz (1997)
|
|
BASE
|
|
Show details
|
|
|
|