CiE

Keyphrases

Publications

2024

Marcella Anselmo, Giusi Castiglione, Manuela Flores, Dora Giammarresi, Maria Madonia, Sabrina Mantaci
Isometric Sets of Words and Generalizations of the Fibonacci Cubes. CiE (2024)
Pavel Alaev
Inversion in P-Computable Fields. CiE (2024)
Jun Le Goh, Arno Pauly, Manlio Valenti
The Weakness of Finding Descending Sequences in Ill-Founded Linear Orders. CiE (2024)
Rod Downey, Noam Greenberg, Long Qian
Some Open Questions and Recent Results on Computable Banach Spaces. CiE (2024)
S. Barry Cooper
If CiE Did Not Exist, It Would Be Necessary to Invent It. CiE (2024)
Roman Kuznets
Communication Modalities. CiE (2024)
Chris J. Conidis
On the Existence of Infinite Monomial Division Chains with Finitely Many Indeterminates. CiE (2024)
Domenico Cantone, Andrea De Domenico, Pietro Maugeri
The Decision Problem for Undirected Graphs with Reachability and Acyclicity. CiE (2024)
Tomoyuki Yamakami
Quantum First-Order Logics that Capture Logarithmic-Time/Space Quantum Computability. CiE (2024)
Merlin Carl
Almost Sure OTM-Realizability. CiE (2024)
Nikolay Bazhenov, Ekaterina B. Fokina, Dino Rossegger, Alexandra A. Soskova, Stefan V. Vatev
Learning Families of Algebraic Structures from Text. CiE (2024)
Benjamin Hellouin de Menibus, Rémi Pallen
Two-Player Domino Games. CiE (2024)
Markus Lohrey
Membership Problems in Infinite Groups. CiE (2024)
Mikhail R. Starchak
Existential Definability of Unary Predicates in Büchi Arithmetic. CiE (2024)
Ellen Hammatt
Structures of Finite Punctual Dimension n>2. CiE (2024)
Martin Kutrib, Andreas Malcher
Cellular Automata: Communication Matters. CiE (2024)
David Gonzalez
Hybrid Maximal Filter Spaces. CiE (2024)
Arno Pauly, Giovanni Soldà
Sequential Discontinuity and First-Order Problems. CiE (2024)
Alexander Shen
Kolmogorov Complexity as a Combinatorial Tool. CiE (2024)
Gunnar Wilken
Fundamental Sequences Based on Localization. CiE (2024)
Caleb Camrud, Timothy H. McNicholl
Hyperarithmetic Numerals. CiE (2024)
Ruslan Kornev
On the Group of Computable Automorphisms of the Linear Order of the Reals. CiE (2024)
Lars Kristiansen, Juvenal Murwanashyaka
A Weak First-Order Theory of Sequences. CiE (2024)
Sam Sanders
On the Computational Properties of Weak Continuity Notions. CiE (2024)
Nikolay Bazhenov, Marta Fiori-Carones, Manat Mustafa
On Arithmetical Numberings in Reverse Mathematics. CiE (2024)
Eduardo Skapinakis
Recursion-Theoretic Alternation. CiE (2024)
Meng-Che, Khanh Le, Dino Rossegger
Algorithmic Aspects of Left-Orderings of Solvable Baumslag-Solitar Groups via its Dynamical Realization. CiE (2024)
Henning Fernau, Lakshmanan Kuppusamy, Indhumathi Raman
Counting Simple Rules in Semi-conditional Grammars is not Simple. CiE (2024)
Tala Eagling-Vose, Barnaby Martin, Daniël Paulusma, Siani Smith
Graph Homomorphism, Monotone Classes and Bounded Pathwidth. CiE (2024)
Juan P. Aguilera, Robert S. Lubarsky, Leonardo Pacheco
Higher-Order Feedback Computation. CiE (2024)
Mikhail G. Peretyat'kin, Victor L. Selivanov
Universal Boolean Algebras with Applications to Semantic Classes of Models. CiE (2024)
Jason Block
via Tree Presentations. CiE (2024)
Andrés Cordón-Franco, Francisco Félix Lara Martín, Manuel J. S. Loureiro
Lipschitz Determinacy and Arithmetic Transfinite Recursion. CiE (2024)
Ekaterina B. Fokina, Sebastiaan A. Terwijn
Computable Structure Theory of Partial Combinatory Algebras. CiE (2024)
Hong Hanh Tran, Guohua Wu
A Diamond Embedding Theorem in the Quotient Structure bfR/NCup. CiE (2024)

volume 14773, 2024

Twenty Years of Theoretical and Practical Synergies - 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8-12, 2024, Proceedings CiE 14773 (2024)

2023

volume 13967, 2023

Unity of Logic and Computation - 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings CiE 13967 (2023)