| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Daniela Genova |
Language Forbidding-Enforcing Systems Defining DNA Codewords.  |
CiE  |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariya Ivanova Soskova |
The Turing Universe in the Context of Enumeration Reducibility. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail G. Peretyat'kin |
The Tarski-Lindenbaum Algebra of the Class of All Strongly Constructivizable Countable Saturated Models. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert S. Lubarsky, Michael Rathjen |
Realizability Models Separating Various Fan Theorems. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Le Roux 0001, Arno Pauly |
Closed Choice for Finite and for Convex Sets. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Gawrychowski, Florin Manea, Dirk Nowotka |
Discovering Hidden Repetitions in Words. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Endre Szemerédi |
Various Regularity Lemmas in Graphs and Hypergraphs. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan V. Vatev |
Another Jump Inversion Theorem for Structures. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Haigh |
'Stored Program Concept' Considered Harmful: History and Historiography. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Jeandel |
On Immortal Configurations in Turing Machines. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bastien Le Gloannec, Nicolas Ollinger |
Substitutions and Strongly Deterministic Tilesets. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Lassègue, Giuseppe Longo |
What is Turing's Comparison between Mechanism and Writing Worth? |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivor Grattan-Guinness |
On Mathematicians Who Liked Logic - The Case of Max Newman. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir V. Podolskii |
Lower Bound on Weights of Large Degree Threshold Functions. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | George Metcalfe, Christoph Röthlisberger |
Unifiability and Admissibility in Finite Algebras. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | A. C. Cem Say, Abuzer Yakaryilmaz |
Finite State Verifiers with Constant Randomness. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Péter Németi, Gergely Székely |
Existence of Faster than Light Signals Implies Hypercomputation already in Special Relativity. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rebecca M. Steiner |
Low n Boolean Subalgebras. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Juris Hartmanis |
Turing Machine-Inspired Computer Science Results. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David Fernández-Duque, Joost J. Joosten |
Turing Progressions and Their Well-Orders. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Amos Golan |
On the Foundations and Philosophy of Info-metrics. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludwig Staiger |
A Correspondence Principle for Exact Constructive Dimension. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | NingNing Peng, Kojiro Higuchi, Takeshi Yamazaki, Kazuyuki Tanaka |
Relative Randomness for Martin-Löf Random Sets. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sepp Hartung, André Nichterlein |
NP-Hardness and Fixed-Parameter Tractability of Realizing Degree Sequences with Directed Acyclic Graphs. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi |
On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Takayuki Kihara |
A Hierarchy of Immunity and Density for Sets of Reals. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Allo |
Information and Logical Discrimination. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Víctor A. Ocasio-González |
Turing Computable Embeddings and Coding Families of Sets. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Alan Finlayson |
Sets of Signals, Information Flow, and Folktales. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Kartzow, Jiamou Liu, Markus Lohrey |
Tree-Automatic Well-Founded Trees. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Arno Pauly |
Multi-valued Functions in Computability Theory. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum, Moritz Müller |
Hard Instances of Algorithms and Proof Systems. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrés Cordón-Franco, Francisco Félix Lara Martín |
Local Induction and Provably Total Computable Functions: A Case Study. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Keisuke Yoshii, Kazuyuki Tanaka |
Infinite Games and Transfinite Recursion of Multiple Inductive Definitions. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | James D. Murray 0001 |
After Turing: Mathematical Modelling in the Biomedical and Social Sciences - From Animal Coat Patterns to Brain Tumours to Saving Marriages. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kojiro Higuchi, Takayuki Kihara |
Effective Strong Nullness and Effectively Closed Sets. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail G. Peretyat'kin |
On the Tarski-Lindenbaum Algebra of the Class of all Strongly Constructivizable Prime Models. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rod Downey |
Randomness, Computation and Mathematics. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Rettinger |
Compactness and the Effectivity of Uniformization. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shigeru Kondo |
Turing Pattern Formation without Diffusion. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ville Salo, Ilkka Törmä |
On Shift Spaces with Algebraic Structure. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Wiedermann |
On the Road to Thinking Machines: Insights and Ideas. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Brumleve, Joel David Hamkins, Philipp Schlicht |
The Mate-in-n Problem of Infinite Chess Is Decidable. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Susan G. Sterrett |
Bringing Up Turing's 'Child-Machine'. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Cholak, Damir D. Dzhafarov, Jeffry L. Hirst |
On Mathias Generic Sets. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Celaya, Frank Ruskey |
An Undecidable Nested Recurrence Relation. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Shen |
Game Arguments in Computability Theory and Algorithmic Information Theory. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fotini Markopoulou |
The Computing Spacetime. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders Johannson, James Y. Zou |
A Slime Mold Solver for Linear Programming Problems. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Smolensky |
Subsymbolic Computation Theory for the Human Intuitive Processor. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shinnosuke Seki, Yasushi Okuno |
On the Behavior of Tile Assembly System at High Temperatures. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shankara Narayanan Krishna, Bogdan Aman, Gabriel Ciobanu |
On the Computability Power of Membrane Systems with Controlled Mobility. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich |
Foundational Analyses of Computation. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | John Case, Sanjay Jain 0001, Samuel Seah, Frank Stephan 0001 |
Automatic Functions, Linear Time and Learning. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel E. Moelius III |
Characteristics of Minimal Effective Programming Systems. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Huschenbett |
Word Automaticity of Tree Automatic Scattered Linear Orderings Is Decidable. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Koepke, Benjamin Seyfferth |
Towards a Theory of Infinite Time Blum-Shub-Smale Machines. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Carlucci, Konrad Zdanowski |
A Note on Ramsey Theorems and Turing Jumps. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges, Robin Havea |
Square Roots and Powers in Constructive Banach Algebra Theory. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Das 0002 |
Complexity of Deep Inference via Atomic Flows. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Guillon 0001, Charalampos Zinoviadis |
Densities and Entropies in Cellular Automata. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Allender |
Curiouser and Curiouser: The Link between Incompressibility and Complexity. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dassow, Florin Manea, Robert Mercas |
Connecting Partial Words and Regular Languages. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruth Garrett Millikan |
Natural Signs. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bahareh Afshari, Michael Rathjen |
Ordinal Analysis and the Infinite Ramsey Theorem. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Kristiansen |
Degrees of Total Algorithms versus Degrees of Honest Functions. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Verónica Becher |
Turing's Normal Numbers: Towards Randomness. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hendtlass, Peter Schuster 0001 |
A Direct Proof of Wiener's Theorem. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Filipe Coelho Antunes, Andre Souto, Andreia Teixeira |
Robustness of Logical Depth. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chengling Fang, Shenling Wang 0001, Guohua Wu |
Highness and Local Noncappability. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | John Preston |
What Are Computers (If They're not Thinking Things)? |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Grant Olney Passmore, Paul B. Jackson |
Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew P. Szudzik |
Is Turing's Thesis the Consequence of a More General Physical Principle? |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Barry Cooper, Anuj Dawar, Benedikt Löwe (eds.) |
How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Ferreira 0001 |
A Short Note on Spector's Proof of Consistency of Analysis. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bjørn Kjos-Hanssen, Antoine Taveneaux, Neil Thapen |
How Much Randomness Is Needed for Statistics? |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Beeson |
Logic of Ruler and Compass Constructions. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier, Olga Runge |
Confluence in Data Reduction: Bridging Graph Transformation and Kernelization. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander S. Kulikov, Olga Melanich, Ivan Mihajlin |
A 5n - o(n) Lower Bound on the Circuit Size over U 2 of a Linear Boolean Function. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka, Stéphane Le Roux 0001, Arno Pauly |
On the Computational Content of the Brouwer Fixed Point Theorem. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan A. Sherratt |
Turing Patterns in Deserts. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Zimmermann 0001, Armin B. Cremers |
Making Solomonoff Induction Effective - Or: You Can Learn What You Can Bound. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaap A. Kaandorp, Daniel Botman, Carlos Tamulonis, Roland Dries |
Multi-scale Modeling of Gene Regulation of Morphogenesis. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruce Edmonds, Carlos Gershenson |
Learning, Social Intelligence and the Turing Test - Why an "Out-of-the-Box" Turing Machine Will Not Pass the Turing Test. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Weiermann, Alan R. Woods |
Some Natural Zero One Laws for Ordinals Below ε 0. |
CiE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Kutrib |
Nature-Based Problems in Cellular Automata. |
CiE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Arrighi, Renan Fargetton, Vincent Nesme, Eric Thierry |
Applying Causality Principles to the Axiomatization of Probabilistic Cellular Automata. |
CiE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Genova |
Defining Languages by Forbidding-Enforcing Systems. |
CiE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Hoyrup, Cristobal Rojas, Klaus Weihrauch |
Computability of the Radon-Nikodym Derivative. |
CiE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Löwe, Dag Normann, Ivan N. Soskov, Alexandra A. Soskova (eds.) |
Models of Computation in Context - 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings |
CiE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Hoyrup |
Randomness and the Ergodic Decomposition. |
CiE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Koepke, Philip D. Welch |
A Generalised Dynamical System, Infinite Time Register Machines, and $\Pi^1_1$ -CA0. |
CiE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Raffinot |
Consecutive Ones Property Testing: Cut or Swap. |
CiE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Schlicht, Frank Stephan 0001 |
Automata on Ordinals and Linear Orders. |
CiE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Amin Farjudian |
On the Kolmogorov Complexity of Continuous Real Functions. |
CiE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingzhong Cai |
Three Theorems on n-REA Degrees: Proof-Readers and Verifiers. |
CiE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Prakash Panangaden |
Quantum Information Channels in Curved Spacetime. |
CiE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Agustin Riscos-Núñez |
Current Developments on Computational Modeling Using P Systems. |
CiE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena V. Pribavkina, Emanuele Rodaro |
Recognizing Synchronizing Automata with Finitely Many Minimal Synchronizing Words is PSPACE-Complete. |
CiE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan V. Vatev |
Conservative Extensions of Abstract Structures. |
CiE |
2011 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license