Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Merlin Carl |
All Melodies Are Lost - Recognizability for Weak and Strong α-Register Machines. |
CiE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Russell G. Miller |
Direct Construction of Scott Ideals. |
CiE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Galeotti, Ethan S. Lewis, Benedikt Löwe |
Symmetry for Transfinite Computability. |
CiE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alexey Barsukov, Florent R. Madelaine |
On Guarded Extensions of MMSNP. |
CiE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Buriola, Peter Schuster 0001, Ingo Blechschmidt |
A Constructive Picture of Noetherian Conditions and Well Quasi-orders. |
CiE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Parys, Aleksander Wiacek |
Improved Complexity Analysis of Quasi-Polynomial Algorithms Solving Parity Games. |
CiE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Victor L. Selivanov |
Extending Wagner's Hierarchy to Deterministic Visibly Pushdown Automata. |
CiE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Vladislav Orekhovskii, Victor L. Selivanov |
Logic vs Topology on Regular ømega-languages. |
CiE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mariya Ivanova Soskova |
The Relationship Between Local and Global Structure in the Enumeration Degrees. |
CiE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Vasco Brattka |
On the Complexity of Learning Programs. |
CiE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Hong Hanh Tran, Guohua Wu |
Cupping Computably Enumerable Degrees Simultaneously. |
CiE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sam Sanders |
The Non-normal Abyss in Kleene's Computability Theory. |
CiE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Zeev Nutov |
An $O(\sqrt{k})$-Approximation Algorithm for Minimum Power k Edge Disjoint st-Paths. |
CiE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Daniil Musatov, Georgii Potapov |
Structural Complexity of Rational Interactive Proofs. |
CiE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea (eds.) |
Unity of Logic and Computation - 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings |
CiE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Georgiev |
Subrecursive Graphs of Representations of Irrational Numbers. |
CiE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Takayuki Kihara, Arno Pauly |
De Groot Duality for Represented Spaces. |
CiE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Vittorio Cipriani, Arno Pauly |
The Complexity of Finding Supergraphs. |
CiE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Arrighi, Amélia Durbec, Pierre Guillon 0001 |
Graph Subshifts. |
CiE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Shen |
Inequalities for Entropies and Dimensions. |
CiE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Keita Hiroshima, Akitoshi Kawamura |
Elementarily Traceable Irrational Numbers. |
CiE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Pacôme Perrotin, Sylvain Sené |
Turning Block-Sequential Automata Networks into Smaller Parallel Networks with Isomorphic Limit Dynamics. |
CiE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alexey Milovanov |
Some Games on Turing Machines and Power from Random Strings. |
CiE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Suthee Ruangwises |
Physical Zero-Knowledge Proof for Ball Sort Puzzle. |
CiE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | William R. Stirton |
Barendregt's Problem #26 and Combinatory Strong Reduction. |
CiE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ingo Blechschmidt, Peter Schuster 0001 |
Maximal Ideals in Countable Rings, Constructively. |
CiE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Robert S. Lubarsky |
On the Necessity of Some Topological Spaces. |
CiE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Fujiwara |
An Extension of the Equivalence Between Brouwer's Fan Theorem and Weak König's Lemma with a Uniqueness Hypothesis. |
CiE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Svetlana Selivanova |
Computational Complexity of Classical Solutions of Partial Differential Equations. |
CiE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Merlin Carl |
Lower Bounds on β (α ). |
CiE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Eike Neumann |
On Envelopes and Backward Approximations. |
CiE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Vanja Doskoc, Timo Kötzing |
Maps of Restrictions for Behaviourally Correct Learning. |
CiE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Matthew de Brecht, Takayuki Kihara, Victor L. Selivanov |
Enumerating Classes of Effective Quasi-Polish Spaces. |
CiE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Bjørn Kjos-Hanssen, David J. Webb |
Strong Medvedev Reducibilities and the KL-Randomness Problem. |
CiE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Victor L. Selivanov |
Boole vs Wadge: Comparing Two Basic Tools of Descriptive Set Theory. |
CiE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Iosif Petrakis, Daniel Misselbeck-Wessel |
Algebras of Complemented Subsets. |
CiE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Véronique Bruyère |
A Game-Theoretic Approach for the Synthesis of Complex Systems. |
CiE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | María Dolores Jiménez-López |
Processing Natural Language with Biomolecules: Where Linguistics, Biology and Computation Meet. |
CiE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Juvenal Murwanashyaka |
Weak Sequential Theories of Finite Full Binary Trees. |
CiE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Anupam Das 0002, Avgerinos Delkos |
Proof Complexity of Monotone Branching Programs. |
CiE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nikolay Bazhenov 0001, Vittorio Cipriani, Luca San Mauro |
Calculating the Mind Change Complexity of Learning Algebraic Structures. |
CiE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Lauri Hella, Miikka Vilander |
Defining Long Words Succinctly in FO and MSO. |
CiE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Keng Meng Ng, Frank Stephan 0001, Yue Yang 0004, Liang Yu |
On Trees Without Hyperimmune Branches. |
CiE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Juvenal Murwanashyaka |
Hilbert's Tenth Problem for Term Algebras with a Substitution Operator. |
CiE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Berger 0001, Johanna N. Y. Franklin, Florin Manea, Arno Pauly (eds.) |
Revolutions and Revelations in Computability - 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022, Proceedings |
CiE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sam Sanders |
Reverse Mathematics of the Uncountability of ℝ. |
CiE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Samuele Maschio, Pietro Sabelli |
On the Compatibility Between the Minimalist Foundation and Constructive Set Theory. |
CiE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nikolay Bazhenov 0001, Maxim V. Zubkov |
Well-Orders Realized by C.E. Equivalence Relations. |
CiE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Bournez |
Programming with Ordinary Differential Equations: Some First Steps Towards a Programming Language. |
CiE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Kitty Meeks |
Reducing Reachability in Temporal Graphs: Towards a More Realistic Model of Real-World Spreading Processes. |
CiE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Cécilia Pradic, Giovanni Solda |
On the Weihrauch Degree of the Additive Ramsey Theorem over the Rationals. |
CiE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ardalan Khazraei, Timo Kötzing, Karen Seidel 0001 |
Towards a Map for Incremental Learning in the Limit from Positive and Negative Information. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Angeliki Koutsoukou-Argyraki |
On Preserving the Computational Content of Mathematical Proofs: Toy Examples for a Formalising Strategy. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Timo Kötzing, Karen Seidel 0001 |
Learning Languages in the Limit from Positive Information with Finitely Many Memory Changes. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Esther Ezra |
On 3SUM-hard Problems in the Decision Tree Model. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Berndt 0001, Kilian Grage, Klaus Jansen, Lukas Johannsen, Maria Kosche |
Robust Online Algorithms for Dynamic Choosing Problems. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Karl Bringmann |
Fine-Grained Complexity Theory: Conditional Lower Bounds for Computational Geometry. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marat Kh. Faizrahmanov |
Limitwise Monotonic Spectra and Their Generalizations. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Liron Cohen 0001 |
Formally Computing with the Non-computable. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sam Sanders |
Splittings and Robustness for the Heine-Borel Theorem. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Máté Szabó |
Péter on Church's Thesis, Constructivity and Computers. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Alaev, Victor L. Selivanov |
Searching for Applicable Versions of Computable Structures. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Merlin Carl |
The Lost Melody Theorem for Infinite Time Blum-Shub-Smale Machines. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Francesco A. Genco, Francesca Poggiolesi |
Defining Formal Explanation in Classical Logic by Substructural Derivability. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Leszek Aleksander Kolodziejczyk, Keita Yokoyama |
In Search of the First-Order Part of Ramsey's Theorem for Pairs. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Samuel D. Birns, Bjørn Kjos-Hanssen |
On the Degrees of Constructively Immune Sets. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Markus Lohrey |
Compression Techniques in Group Theory. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Sorbi |
Effective Inseparability and Its Applications. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Vanja Doskoc, Timo Kötzing |
Normal Forms for Semantically Witness-Based Learners in Inductive Inference. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Franziskus Wiesnet |
An Algorithmic Version of Zariski's Lemma. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Richard Krogman, Douglas Cenzer |
Complexity and Categoricity of Injection Structures Induced by Finite State Transducers. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jordan M. Eizenga, Ryan Lorig-Roach, Melissa M. Meredith, Benedict Paten |
Walk-Preserving Transformation of Overlapped Sequence Graphs into Blunt Sequence Graphs with GetBlunted. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Rayan Chikhi |
A Tale of Optimizing the Space Taken by de Bruijn Graphs. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Henry Yuen |
Einstein Meets Turing: The Computability of Nonlocal Games. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Vanja Doskoc, Timo Kötzing |
Mapping Monotonic Restrictions in Inductive Inference. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bjørn Kjos-Hanssen, David J. Webb |
KL-Randomness and Effective Dimension Under Strong Reducibility. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Carlucci |
Restrictions of Hindman's Theorem: An Overview. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Victor L. Selivanov |
Non-collapse of the Effective Wadge Hierarchy. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Johanna N. Y. Franklin |
A Church-Turing Thesis for Randomness? |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Julian Berger, Maximilian Böther, Vanja Doskoc, Jonathan Gadea Harder, Nicolas Klodt, Timo Kötzing, Winfried Lötzsch, Jannik Peters 0001, Leon Schiller, Lars Seifert, Armin Wells, Simon Wietheger |
Learning Languages with Decidable Hypotheses. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Silva Graça, Ning Zhong 0002 |
Computability of Limit Sets for Two-Dimensional Flows. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Lars Kristiansen |
On Subrecursive Representation of Irrational Numbers: Contractors and Baire Sequences. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Liesbeth De Mol, Andreas Weiermann, Florin Manea, David Fernández-Duque (eds.) |
Connecting with Computability - 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Barbara F. Csima, Dino Rossegger, Daniel Yu |
Positive Enumerable Functors. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Joan Rand Moschovakis, Garyfallia Vafeiadou |
Minimum Classical Extensions of Constructive Theories. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Eric Goles 0001, Pedro Montealegre 0001, Martín Ríos Wilson, Guillaume Theyssier |
On the Impact of Treewidth in the Computational Complexity of Freezing Dynamics. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tomasz Steifer |
Simple Betting and Stochasticity. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Melissa Antonelli, Ugo Dal Lago, Paolo Pistone |
On Measure Quantifiers in First-Order Arithmetic. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Russell Miller 0001 |
Computable Procedures for Fields. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Léo Robert, Daiki Miyahara, Pascal Lafourcade 0001, Takaaki Mizuki |
Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Yves Moyen, Jakob Grue Simonsen |
Subrecursive Equivalence Relations and (non-)Closure Under Lattice Operations. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | D. A. Turner |
Constructive Mathematics, Church's Thesis, and Free Choice Sequences. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Askar Gafurov, Tomás Vinar, Brona Brejová |
Probabilistic Models of k-mer Frequencies (Extended Abstract). |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Merlin Carl, Lorenzo Galeotti, Robert Paßmann |
Randomising Realizability. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Till Fluschnik, Leon Kellerhals |
Placing Green Bridges Optimally, with a Multivariate Analysis. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Georgiev |
Dedekind Cuts and Long Strings of Zeros in Base Expansions. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Ferreira 0001 |
On False Heine/Borel Compactness Principles in Proof Mining. |
CiE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Frosini, Giulia Palma, Simone Rinaldi |
Combinatorial Properties of Degree Sequences of 3-Uniform Hypergraphs Arising from Saind Arrays. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Wim Martens |
Formal Languages in Information Extraction and Graph Databases. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lars Kristiansen, Jakob Grue Simonsen |
On the Complexity of Conversion Between Classic Real Number Representations. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|