CiE

Keyphrases

Publications

2023

Takayuki Kihara, Arno Pauly
De Groot Duality for Represented Spaces. CiE (2023)
Gabriele Buriola, Peter Schuster, Ingo Blechschmidt
A Constructive Picture of Noetherian Conditions and Well Quasi-orders. CiE (2023)
Alexey Barsukov, Florent R. Madelaine
On Guarded Extensions of MMSNP. CiE (2023)
Sam Sanders
The Non-normal Abyss in Kleene's Computability Theory. CiE (2023)
Victor L. Selivanov
Extending Wagner's Hierarchy to Deterministic Visibly Pushdown Automata. CiE (2023)
Zeev Nutov
An $O(\sqrt{k})$-Approximation Algorithm for Minimum Power k Edge Disjoint st-Paths. CiE (2023)
Alexander Shen
Inequalities for Entropies and Dimensions. CiE (2023)
Pablo Arrighi, Amélia Durbec, Pierre Guillon
Graph Subshifts. CiE (2023)
Pawel Parys, Aleksander Wiacek
Improved Complexity Analysis of Quasi-Polynomial Algorithms Solving Parity Games. CiE (2023)
Russell G. Miller
Direct Construction of Scott Ideals. CiE (2023)
Ivan Georgiev
Subrecursive Graphs of Representations of Irrational Numbers. CiE (2023)
Daniil Musatov, Georgii Potapov
Structural Complexity of Rational Interactive Proofs. CiE (2023)
Vladislav Orekhovskii, Victor L. Selivanov
Logic vs Topology on Regular ømega-languages. CiE (2023)
Hong Hanh Tran, Guohua Wu
Cupping Computably Enumerable Degrees Simultaneously. CiE (2023)
Alexey Milovanov
Some Games on Turing Machines and Power from Random Strings. CiE (2023)
Lorenzo Galeotti, Ethan S. Lewis, Benedikt Löwe
Symmetry for Transfinite Computability. CiE (2023)
Keita Hiroshima, Akitoshi Kawamura
Elementarily Traceable Irrational Numbers. CiE (2023)
Vittorio Cipriani, Arno Pauly
The Complexity of Finding Supergraphs. CiE (2023)
Vasco Brattka
On the Complexity of Learning Programs. CiE (2023)
Mariya Ivanova Soskova
The Relationship Between Local and Global Structure in the Enumeration Degrees. CiE (2023)
Merlin Carl
All Melodies Are Lost - Recognizability for Weak and Strong α-Register Machines. CiE (2023)
Suthee Ruangwises
Physical Zero-Knowledge Proof for Ball Sort Puzzle. CiE (2023)
Pacôme Perrotin, Sylvain Sené
Turning Block-Sequential Automata Networks into Smaller Parallel Networks with Isomorphic Limit Dynamics. CiE (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)

2022

volume 13359, 2022

Revolutions and Revelations in Computability - 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022, Proceedings CiE 13359 (2022)