default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20th CiE 2024: Amsterdam, The Netherlands
- Ludovic Levy Patey
, Elaine Pimentel, Lorenzo Galeotti, Florin Manea:
Twenty Years of Theoretical and Practical Synergies - 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8-12, 2024, Proceedings. Lecture Notes in Computer Science 14773, Springer 2024, ISBN 978-3-031-64308-8
Invited Papers
- S. Barry Cooper:
If CiE Did Not Exist, It Would Be Necessary to Invent It. 3-9 - Rod Downey, Noam Greenberg, Long Qian:
Some Open Questions and Recent Results on Computable Banach Spaces. 10-26 - Alexander Shen:
Kolmogorov Complexity as a Combinatorial Tool. 27-31 - Martin Kutrib, Andreas Malcher:
Cellular Automata: Communication Matters. 32-43 - Markus Lohrey:
Membership Problems in Infinite Groups. 44-59 - Roman Kuznets:
Communication Modalities. 60-71 - Meng-Che, Khanh Le, Dino Rossegger:
Algorithmic Aspects of Left-Orderings of Solvable Baumslag-Solitar Groups via its Dynamical Realization. 72-84 - David Gonzalez:
Hybrid Maximal Filter Spaces. 85-99 - Pavel Alaev:
Inversion in P-Computable Fields. 100-109
Regular Papers
- Sam Sanders:
On the Computational Properties of Weak Continuity Notions. 113-125 - Nikolay Bazhenov, Marta Fiori-Carones, Manat Mustafa:
On Arithmetical Numberings in Reverse Mathematics. 126-138 - Benjamin Hellouin de Menibus, Rémi Pallen:
Two-Player Domino Games. 139-152 - Merlin Carl:
Almost Sure OTM-Realizability. 153-165 - Nikolay Bazhenov, Ekaterina B. Fokina, Dino Rossegger, Alexandra A. Soskova, Stefan V. Vatev:
Learning Families of Algebraic Structures from Text. 166-178 - Ellen Hammatt:
Structures of Finite Punctual Dimension n>2. 179-191 - Henning Fernau, Lakshmanan Kuppusamy, Indhumathi Raman:
Counting Simple Rules in Semi-conditional Grammars is not Simple. 192-204 - Mikhail G. Peretyat'kin, Victor L. Selivanov:
Universal Boolean Algebras with Applications to Semantic Classes of Models. 205-217 - Mikhail R. Starchak:
Existential Definability of Unary Predicates in Büchi Arithmetic. 218-232 - Tala Eagling-Vose, Barnaby Martin, Daniël Paulusma, Siani Smith:
Graph Homomorphism, Monotone Classes and Bounded Pathwidth. 233-251 - Eduardo Skapinakis:
Recursion-Theoretic Alternation. 252-264 - Ekaterina B. Fokina, Sebastiaan A. Terwijn:
Computable Structure Theory of Partial Combinatory Algebras. 265-276 - Caleb Camrud, Timothy H. McNicholl:
Hyperarithmetic Numerals. 277-284 - Andrés Cordón-Franco, Francisco Félix Lara Martín, Manuel J. S. Loureiro:
Lipschitz Determinacy and Arithmetic Transfinite Recursion. 285-297 - Juan P. Aguilera, Robert S. Lubarsky, Leonardo Pacheco:
Higher-Order Feedback Computation. 298-310 - Tomoyuki Yamakami:
Quantum First-Order Logics that Capture Logarithmic-Time/Space Quantum Computability. 311-323 - Gunnar Wilken:
Fundamental Sequences Based on Localization. 324-338 - Jun Le Goh, Arno Pauly, Manlio Valenti:
The Weakness of Finding Descending Sequences in Ill-Founded Linear Orders. 339-350 - Arno Pauly, Giovanni Soldà:
Sequential Discontinuity and First-Order Problems. 351-365 - Jason Block:
Complexities of Theories of Profinite Subgroups of Sømega via Tree Presentations. 366-376 - Chris J. Conidis:
On the Existence of Infinite Monomial Division Chains with Finitely Many Indeterminates. 377-389 - Lars Kristiansen, Juvenal Murwanashyaka:
A Weak First-Order Theory of Sequences. 390-404 - Ruslan Kornev:
On the Group of Computable Automorphisms of the Linear Order of the Reals. 405-419 - Hong Hanh Tran, Guohua Wu:
A Diamond Embedding Theorem in the Quotient Structure bfR/NCup. 420-430 - Domenico Cantone, Andrea De Domenico, Pietro Maugeri:
The Decision Problem for Undirected Graphs with Reachability and Acyclicity. 431-446 - Marcella Anselmo, Giusi Castiglione, Manuela Flores, Dora Giammarresi, Maria Madonia, Sabrina Mantaci:
Isometric Sets of Words and Generalizations of the Fibonacci Cubes. 447-460
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-20 00:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
