The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "CiE"( http://dblp.L3S.de/Venues/CiE )

URL (DBLP): http://dblp.uni-trier.de/db/conf/cie

Publication years (Num. hits)
2005 (69) 2006 (62) 2007 (87) 2008 (62) 2009 (52) 2010 (49) 2011 (34) 2012 (76) 2013 (52) 2014 (43) 2015 (37) 2016 (38) 2017 (37) 2018 (43) 2019 (28) 2020 (34) 2021 (46) 2022 (27) 2023 (24)
Publication types (Num. hits)
inproceedings(881) proceedings(19)
Venues (Conferences, Journals, ...)
CiE(900)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 266 occurrences of 176 keywords

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