Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Zenon Sadowski |
Total Nondeterministic Turing Machines and a p-optimal Proof System for SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 364-374, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Ville Salo, Ilkka Törmä |
A One-Dimensional Physically Universal Cellular Automaton. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 375-386, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Merlin Carl, Philipp Schlicht |
The Recognizability Strength of Infinite Time Turing Machines with Ordinal Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 198-209, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Daniela Genova, Hendrik Jan Hoogeboom |
Finite Language Forbidding-Enforcing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 258-269, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Ivan Visconti |
Delayed-Input Cryptographic Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 112-115, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Thierry Monteil 0002 |
A Universal Oracle for Signal Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 315-326, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Alexander G. Melnikov |
Eliminating Unbounded Search in Computable Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 77-87, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Petr A. Golovach, Matthew Johnson 0002, Barnaby Martin, Daniël Paulusma, Anthony Stewart |
Surjective H-Colouring: New Hardness Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 270-281, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Iosif Petrakis |
McShane-Whitney Pairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 351-363, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Martin Delacourt, Nicolas Ollinger |
Permutive One-Way Cellular Automata and the Finiteness Problem for Automaton Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 234-245, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Neil Lutz, Donald M. Stull |
Dimension Spectra of Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 304-314, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Oscar Defrain, Bruno Durand 0001, Grégory Lafitte |
Infinite Time Busy Beavers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 221-233, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Gleb Novikov |
Randomness Deficiencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 338-350, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Hugo Nobrega, Arno Pauly |
Game Characterizations and Lower Cones in the Weihrauch Degrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 327-337, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Margarita V. Korovina, Oleg V. Kudinov |
On Higher Effective Descriptive Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 282-291, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Stepan Holub, Robert Veroff |
Formalizing a Fragment of Combinatorics on Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 24-31, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Lorenzo Galeotti, Hugo Nobrega |
Towards Computable Analysis on the Generalised Real Line. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 246-257, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Djamal Belazzougui, Fabio Cunial, Travis Gagie, Nicola Prezza, Mathieu Raffinot |
Flexible Indexing of Repetitive Collections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 162-174, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Narad Rampersad |
Formulas with Reversal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 98-100, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Victor L. Selivanov |
Extending Wadge Theory to k-Partitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 387-399, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Lorenzo Carlucci, Leszek Aleksander Kolodziejczyk, Francesco Lepore, Konrad Zdanowski |
New Bounds on the Strength of Some Restrictions of Hindman's Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 210-220, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Nikolay Bazhenov 0001, Mars M. Yamaleev |
Degrees of Categoricity of Rigid Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 152-161, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Gunnar W. Klau, Tobias Marschall |
A Guided Tour to Computational Haplotyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 50-63, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Merlin Carl, Benedikt Löwe, Benjamin G. Rin |
Koepke Machines and Satisfiability for Infinitary Propositional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 187-197, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Karoliina Lehtinen, Sandra Quickert |
∑μ2 is decidable for ∏μ2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 292-303, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Alexander Shen |
Compressibility and Probabilistic Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 101-111, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Russell G. Miller |
Computable Transformations of Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 88-97, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Cliff B. Jones |
Turing's 1949 Paper in Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 32-41, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Alberto Hernández-Espinosa, Francisco Hernández Quiroz, Héctor Zenil |
Is there any Real Substance to the Claims for a 'New Computationalism'? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 14-23, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Merlin Carl, Bruno Durand 0001, Grégory Lafitte, Sabrina Ouazzani |
Admissibles in Gaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 175-186, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Sergio Pissanetzky |
On the Future of Information: Reunification, Computability, Adaptation, Cybersecurity, Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 4, pp. 1117-1140, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Nir Shavit, Gadi Taubenfeld |
The computability of relaxed data structures: queues and stacks as examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 29(5), pp. 395-407, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Isaac Goldbring, Bradd Hart |
Computability and the Connes Embedding Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 22(2), pp. 238-248, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Alasdair Urquhart |
S. Barry Cooper and Andrew Hodges (editors), The Once and Future Turing: Computing the World. Cambridge University Press, 2016. xviii + 379 pp. - therein: - Martin Davis. Algorithms, Equations, and Logic. pp. 4-19. - J.M.E. Hyland. The Forgotten Turing. pp. 20-33. - Andrew R. Booker. Turing and the Primes. pp. 34-52. - Ueli Maurer. Cryptography and Computation after Turing. pp. 53-77. - Kanti V. Mardia and S. Barry Cooper. Alan Turing and Enigmatic Statistics. pp. 78-89. - Stephen Wolfram. What Alan Turing Might Have Discovered. pp. 92-105. - Christof Teuscher. Designed versus Intrinsic Computation. pp. 106-116. - Solomon Feferman. Turing's 'Oracle': From Absolute to Relative Computability and Back. pp. 300-334. - P.D. Welch. Turing Transcendent: Beyond the Event Horizon. pp. 335-360. - Roger Penrose. On Attempting to Model the Mathematical Mind. pp. 361-378. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 22(3), pp. 354-356, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Zvonko Iljazovic, Lucija Validzic |
Maximal Computability Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 22(4), pp. 445-468, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Denis R. Hirschfeldt, Carl G. Jockusch Jr. |
On notions of computability-theoretic reduction between Π21 principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Math. Log. ![In: J. Math. Log. 16(1), pp. 1650002:1-1650002:59, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Scott Aaronson, Mohammad Bavarian, Giulio G. Giusteri |
Computability Theory of Closed Timelike Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR16, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Noam Greenberg |
Editorial: Special Issue on Computability, Complexity and Randomness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 58(3), pp. 381-382, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Manuel Alfonseca 0001, Manuel Cebrián, Antonio Fernández Anta, Lorenzo Coviello, Andrés Abeliuk, Iyad Rahwan |
Superintelligence cannot be contained: Lessons from Computability Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1607.00913, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Marjorie Bournat, Swan Dubois, Franck Petit |
Computability of Perpetual Exploration in Highly Dynamic Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1612.05767, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Giorgi Japaridze |
A survey of computability logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1612.04513, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Richard Moot, Christian Retoré |
Natural Language Semantics and Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1605.04122, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Martin Pape, Thomas Streicher |
Computability in Basic Quantum Mechanics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1610.09209, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Laurent Bienvenu, Mathieu Hoyrup, Alexander Shen |
Layerwise computability and image randomness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1607.04232, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Vasco Brattka |
Computability and Analysis, a Historical Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1602.07509, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Felipe S. Abrahão |
The "paradox" of computability and a recursive relative version of the Busy Beaver function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1612.07400, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | William I. Gasarch |
Review of: Turing Computability: Theory and Applications by Robert Soare. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGACT News ![In: SIGACT News 47(4), pp. 6-8, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | William I. Gasarch |
Review of Slicing the Truth: On the Computability Theoretic and Reverse Mathematical Analysis of Combinatorial Principles by Denis Hirschfeldt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGACT News ![In: SIGACT News 47(1), pp. 21-24, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Benedikt Löwe |
Barry Cooper (1943-2015): The engine of Computability in Europe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. ![In: Comput. 5(1), pp. 3-11, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Denis R. Hirschfeldt, Carl G. Jockusch Jr., Timothy H. McNicholl, Paul E. Schupp |
Asymptotic density and the coarse computability bound. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. ![In: Comput. 5(1), pp. 13-27, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Alberto Ciaffaglione |
Towards Turing computability via coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 126, pp. 31-51, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Peter Franek, Marek Krcál |
On Computability and Triviality of Well Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 56(1), pp. 126-164, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Stephen P. Jordan |
Black holes, quantum mechanics, and the limits of polynomial-time computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XRDS ![In: XRDS 23(1), pp. 30-33, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Solomon Feferman |
Turing's 'Oracle': From Absolute to Relative Computability and Back. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Once and Future Turing ![In: The Once and Future Turing: Computing the World, pp. 300-334, 2016, Cambridge University Press, 9780511863196. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Robert I. Soare |
Turing Computability - Theory and Applications ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
DOI RDF |
|
14 | Eugenio G. Omodeo, Alberto Policriti (eds.) |
Martin Davis on Computability, Computational Logic, and Mathematical Foundations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
DBLP DOI BibTeX RDF |
|
14 | Vikram Saraph, Maurice Herlihy, Eli Gafni |
Asynchronous Computability Theorems for t-Resilient Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing - 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings, pp. 428-441, 2016, Springer, 978-3-662-53425-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Robert S. Lubarsky |
Parallel Feedback Turing Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science - International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings, pp. 236-250, 2016, Springer, 978-3-319-27682-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Arnold Beckmann, Laurent Bienvenu, Natasa Jonoska (eds.) |
Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![Springer, 978-3-319-40188-1 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | S. M. Amadae |
Computability of Rational Action. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robophilosophy/TRANSOR ![In: What Social Robots Can and Should Do - Proceedings of Robophilosophy 2016 / TRANSOR 2016, Aarhus, Denmark, October 17-21, 2016, pp. 257-267, 2016, IOS Press, 978-1-61499-707-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Tatsuya Imai, Osamu Watanabe 0001 |
Relating Sublinear Space Computability Among Graph Connectivity and Related Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2016: Theory and Practice of Computer Science - 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings, pp. 17-28, 2016, Springer, 978-3-662-49191-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Hammurabi Mendes |
Byzantine Computability and Combinatorial Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
14 | Mathieu Hoyrup |
The Typical Constructible Object. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 115-123, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Danilo Gligoroski, Simona Samardjiska |
Semantic Security and Key-Privacy with Random Split of St-Gen Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 105-114, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Walter Dean |
Squeezing Feasibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 78-88, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Bas Luttik, Fei Yang |
On the Executability of Interactive Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 312-322, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Iosif Petrakis |
A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 364-374, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Oriol Farràs |
Recent Advances in Non-perfect Secret Sharing Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 89-98, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Riccardo Dondi, Florian Sikora |
Parameterized Complexity and Approximation Issues for the Colorful Components Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 261-270, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Irène Marcovici |
Ergodicity of Noisy Cellular Automata: The Coupling Method and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 153-163, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Barnaby Martin, András Pongrácz, Michal Wrona |
The Complexity of Counting Quantifiers on Equality Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 333-342, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Akitoshi Kawamura, Florian Steinberg 0001, Martin Ziegler 0001 |
Towards Computational Complexity Theory on Advanced Function Spaces in Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 142-152, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Merlin Carl |
Generalized Effective Reducibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 225-233, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Priscila Biller, Carole Knibbe, Guillaume Beslon, Eric Tannier |
Comparative Genomics on Artificial Life. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 35-44, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Aleksander Galicki, André Nies |
A Computational Approach to the Borwein-Ditor Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 99-104, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Reed Solomon |
Computable Reductions and Reverse Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 182-191, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Ludovic Patey |
Partial Orders and Immunity in Reverse Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 353-363, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Daniela Besozzi |
Reaction-Based Models of Biochemical Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 24-34, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Natasha Alechina, Brian Logan 0001 |
Verifying Systems of Resource-Bounded Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 3-12, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Vasco Brattka, Stéphane Le Roux 0001, Joseph S. Miller, Arno Pauly |
The Brouwer Fixed Point Theorem Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 58-67, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Sebastián Barbieri, Mathieu Sablik |
The Domino Problem for Self-similar Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 205-214, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Sanjay Jain 0001, Bakhadyr Khoussainov, Frank Stephan 0001 |
Finitely Generated Semiautomatic Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 282-291, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Mikhail Andreev |
Busy Beavers and Kolmogorov Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 195-204, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Oleg V. Kudinov, Victor L. Selivanov |
On the Lattices of Effectively Open Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 302-311, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Ignacio Cascudo |
Secret Sharing Schemes with Algebraic Properties and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 68-77, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Valérie Berthé, Thomas Fernique, Mathieu Sablik |
Effective S-adic Symbolic Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 13-23, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov |
Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 251-260, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Pierre-Éric Mounier-Kuhn, Maël Pégny |
AFCAL and the Emergence of Computer Science in France: 1957-1967. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 170-181, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Anton Konovalov, Victor L. Selivanov |
The Boolean Algebra of Piecewise Testable Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 292-301, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Gemma Carotenuto, André Nies |
Lightface Π30-Completeness of Density Sets Under Effective Wadge Reducibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 234-239, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | John Case, James S. Royer |
Program Size Complexity of Correction Grammars in the Ershov Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 240-250, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Delaram Kahrobaei, Vladimir Shpilrain |
Using Semidirect Product of (Semi)groups in Public Key Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 132-141, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Lorenzo Galeotti |
A Candidate for the Generalised Real Line. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 271-281, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Olivier Bournez, Nachum Dershowitz, Pierre Néron |
Axiomatizing Analog Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 215-224, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Simone Martini 0001 |
Types in Programming Languages, Between Modelling, Abstraction, and Correctness - Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 164-169, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Russell Miller 0001 |
Baire Category Theory and Hilbert's Tenth Problem Inside \mathbb Q Q. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 343-352, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Christian Glaßer, Peter Jonsson, Barnaby Martin |
Circuit Satisfiability and Constraint Satisfaction Around Skolem Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, pp. 323-332, 2016, Springer, 978-3-319-40188-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Hugo Daniel Macedo, Edward Hermann Haeusler, Alex de V. Garcia |
Defining Effectiveness Using Finite Sets A Study on Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: Third Workshop-School on Theoretical Computer Science, WEIT 2015, Porto Alegre, Brazil, October 14-16, 2015, pp. 91-106, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Noam Greenberg, Asher M. Kach, Steffen Lempp, Daniel D. Turetsky |
Computability and uncountable Linear Orders II: degree spectra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 80(1), pp. 145-178, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Noam Greenberg, Asher M. Kach, Steffen Lempp, Daniel Turetsky |
Computability and uncountable Linear Orders I: Computable Categoricity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 80(1), pp. 116-144, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|