| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Donghyun Lim, Martin Ziegler 0001 |
Quantitative Coding and Complexity Theory of Compact Metric Spaces.  |
CiE  |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Boccuto, Arturo Carpi |
Repetitions in Toeplitz Words and the Thue Threshold. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew de Brecht |
Some Notes on Spaces of Ideals and Computable Topology. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | David Fernández-Duque, Andreas Weiermann |
Ackermannian Goodstein Sequences of Intermediate Growth. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Alexander G. Melnikov |
Computable Analysis and Classification Problems. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Kristiansen, Juvenal Murwanashyaka |
On Interpretability Between Some Weak Essentially Undecidable Theories. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kévin Perrot, Sylvain Sené, Lucas Venturini |
#P-completeness of Counting Update Digraphs, Cacti, and Series-Parallel Decomposition Method. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuzana Haniková |
On the Complexity of Validity Degrees in Łukasiewicz Logic. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Shay Moran, Ido Nachum, Itai Panasoff, Amir Yehudayoff |
On the Perceptron's Compression. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Russell Miller 0001 |
Non-coding Enumeration Operators. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Przemyslaw Uznanski |
Recent Advances in Text-to-Pattern Distance Algorithms. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Merlin Carl |
Clockability for Ordinal Turing Machines. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Berger 0001, Olga Petrovska, Hideki Tsuiki |
Prawf: An Interactive Proof System for Program Extraction. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Bodirsky, Simon Knäuer, Florian Starke |
ASNP: A Tame Fragment of Existential Second-Order Logic. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Vu, Henning Fernau |
Insertion-Deletion Systems with Substitutions I. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno Pauly (eds.) |
Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29 - July 3, 2020, Proceedings |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schuster 0001, Daniel Misselbeck-Wessel |
The Computational Significance of Hausdorff's Maximal Chain Principle. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Bridoux, Maximilien Gadouleau, Guillaume Theyssier |
On Simulation in Automata Networks. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Prezza, Giovanna Rosone |
Faster Online Computation of the Succinct Longest Previous Factor Array. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey |
Balancing Straight-Line Programs for Strings and Trees. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Hoyrup, Takayuki Kihara, Victor L. Selivanov |
Degrees of Non-computability of Homeomorphism Types of Polish Spaces. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sune Kristian Jakobsen, Jakob Grue Simonsen |
Liouville Numbers and the Computational Complexity of Changing Bases. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolay Bazhenov 0001, Stefan V. Vatev |
A Note on Computable Embeddings for Ordinals and Their Reverses. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Stavros Konstantinidis |
Theoretical and Implementational Aspects of the Formal Language Server (LaSer). |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Le Roux 0001 |
Time-Aware Uniformization of Winning Strategies. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Makoto Fujiwara |
Parallelizations in Weihrauch Reducibility and Constructive Reverse Mathematics. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano |
Deterministic and Nondeterministic Iterated Uniform Finite-State Transducers: Computational and Descriptional Power. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Zeugmann |
On the Interplay Between Inductive Inference of Recursive Functions, Complexity Theory and Recursive Numberings. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyril Banderier, Massimiliano Goldwurm |
Number of Prefixes in Trace Monoids: Clique Polynomials and Dependency Graphs. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Iosif Petrakis |
Functions of Baire Class One over a Bishop Topology. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Madonia |
Two-Dimensional Codes. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Iskander Sh. Kalimullin, Russell G. Miller, Hans Schoutens |
Degree Spectra for Transcendence in Fields. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Galeotti |
Surreal Blum-Shub-Smale Machines. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Niels Grüttemeier, Christian Komusiewicz, Jannik Schestag, Frank Sommer |
Destroying Bicolored P3s by Deleting Few Edges. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolay Bazhenov 0001, Manat Mustafa, Sergei Ospichev |
Bounded Reducibility for Computable Numberings. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Bell, Igor Potapov |
Towards Uniform Online Spherical Tessellations. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Cégielski, Julien Cervelle |
Study of Stepwise Simulation Between ASM. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero (eds.) |
Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Yves Moyen, Jakob Grue Simonsen |
More Intensional Versions of Rice's Theorem. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolay Bazhenov 0001, Hristo Ganchev, Stefan V. Vatev |
Effective Embeddings for Pairs of Structures. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Wroclawski |
Representations of Natural Numbers and Computability of Various Functions. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenshi Miyabe |
Uniform Relativization. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Iosif Petrakis |
Borel and Baire Sets in Bishop Spaces. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Felipe Cucker |
Recent Advances in the Computation of the Homology of Semialgebraic Sets. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev |
Cohesive Powers of Linear Orders. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Máté Szabó |
Kalmár's Argument for the Independence of Computer Science. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaoyi Wang, Guohua Wu, Mars M. Yamaleev |
The d.r.e wtt-Degrees are Dense. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Klootwijk, Bodo Manthey |
Probabilistic Analysis of Facility Location on Random Shortest Path Metrics. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruslan Ishkuvatov, Daniil Musatov |
On Approximate Uncomputability of the Kolmogorov Complexity Function. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Beaudou, Florent Foucaud, Florent R. Madelaine, Lhouari Nourine, Gaétan Richard |
Complexity of Conjunctive Regular Path Query Homomorphisms. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Bridoux, Nicolas Durbec, Kévin Perrot, Adrien Richard |
Complexity of Maximum Fixed Point Problem in Boolean Networks. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Carlucci, Leonardo Mainardi, Michael Rathjen |
A Note on the Ordinal Analysis of \mathbf RCA_0 + \mathrm WO(\mathbf σ ) RCA 0 + WO ( σ ). |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip D. Welch |
Higher Type Recursion for Transfinite Machine Theory. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond Turner |
Correctness, Explanation and Intention. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Ambos-Spies, Xizhong Zheng |
On the Differences and Sums of Strongly Computably Enumerable Real Numbers. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer 0001, Martin Kutrib |
Non-Recursive Trade-Offs Are "Almost Everywhere". |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Sanders |
Nets and Reverse Mathematics - Some Initial Results. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Durand 0001, Grégory Lafitte |
An algorithmic approach to characterizations of admissibles. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Wiedermann, Jan van Leeuwen |
Finite State Machines with Feedback: An Architecture Supporting Minimal Machine Consciousness. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Florent Becker, Diego Maldonado, Nicolas Ollinger, Guillaume Theyssier |
Universality in Freezing Cellular Automata. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre |
A Deontic Logic Reasoning Infrastructure. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakh Khoussainov |
A Journey to Computably Enumerable Structures (Tutorial Lectures). |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Monath |
A C.E. Weak Truth Table Degree Which Is Array Noncomputable and R-maximal. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Achilles A. Beros, Mushfeq Khan, Bjørn Kjos-Hanssen, André Nies |
From Eventually Different Functions to Pandemic Numberings. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Fernau, Lakshmanan Kuppusamy, Rufus O. Oladele |
New Nonterminal Complexity Results for Semi-conditional Grammars. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Davis |
Turing's Vision and Deep Learning. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Dag Normann |
Functionals of Type 3 as Realisers of Classical Theorems in Analysis. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Berndt 0001, Kim-Manuel Klein |
Using Structural Properties for Integer Programs. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Berger 0001, Olga Petrovska |
Optimized Program Extraction for Induction and Coinduction. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Dino Rossegger |
Elementary Bi-embeddability Spectra of Structures. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Paula Quinon |
A Taxonomy of Deviant Encodings. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Bonizzoni, Gianluca Della Vedova, Serena Nicosia, Yuri Pirola, Marco Previtali, Raffaella Rizzi |
Divide and Conquer Computation of the Multi-string BWT and LCP Array. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Arno Pauly |
Enumeration Degrees and Topology. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Fernau, Till Fluschnik, Danny Hermelin, Andreas Krebs, Hendrik Molter, Rolf Niedermeier |
Diminishable Parameterized Problems and Strict Polynomial Kernelization. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolay Bazhenov 0001, Margarita Marchuk |
Degrees of Categoricity for Prime and Homogeneous Models. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Hoyrup |
Topological Analysis of Representations. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | André Souto, Luís Antunes 0002, Paulo Mateus, Andreia Teixeira |
Witness Hiding Without Extractors or Simulators. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Wilfried Sieg |
What Is the Concept of Computation? |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Merlin Carl, Sabrina Ouazzani, Philip D. Welch |
Taming Koepke's Zoo. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexey Milovanov |
Algorithmic Statistics and Prediction for Polynomial Time-Bounded Algorithms. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Merlin Carl |
Some Observations on Infinitary Complexity. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | João Marques-Silva 0001 |
Computing with SAT Oracles: Past, Present and Future. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Sanders |
Some Nonstandard Equivalences in Reverse Mathematics. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander N. Rybalov |
A Generic m-Reducibility. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Florin Manea, Russell G. Miller, Dirk Nowotka (eds.) |
Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie Nicholson |
The Complexity of Tukey Types and Cofinal Types. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Margarita V. Korovina, Oleg V. Kudinov |
Weak Reduction Principle and Computable Metric Spaces. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Takashi Yokomori, Fumiya Okubo |
Computing with Multisets: A Survey on Reaction Automata Theory. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Silva Graça, Ning Zhong 0002 |
Computability of Ordinary Differential Equations. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Lauria |
Algorithm Analysis Through Proof Complexity. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ishai Kones, Asaf Levin |
A Unified Framework for Designing EPTAS's for Load Balancing on Parallel Machines. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas Cenzer, Diego A. Rojas |
Online Computability and Differentiation in the Cantor Space. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Svetlana V. Selivanova, Victor L. Selivanov |
Bit Complexity of Computing Solutions for Symmetric Hyperbolic Systems of PDEs (Extended Abstract). |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Uspenskiy, Alexander Shen |
Algorithms and Geometric Constructions. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Kristiansen, Juvenal Murwanashyaka |
Decidable and Undecidable Fragments of First-Order Concatenation Theory. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Georgiev, Lars Kristiansen, Frank Stephan 0001 |
On General Sum Approximations of Irrational Numbers. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy H. McNicholl, Don M. Stull |
The Isometry Degree of a Computable Copy of p. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Alaev, Victor L. Selivanov |
Polynomial-Time Presentations of Algebraic Number Fields. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Ambos-Spies |
Multiple Permitting and Array Noncomputability. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Till Fluschnik, George B. Mertzios, André Nichterlein |
Kernelization Lower Bounds for Finding Constant-Size Subgraphs. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license