Skip to content

Computability in Europe: Logic and Theory of Algorithms

CiE

C

CORE rank

CORE rank (raw)

C

Fields of research

Theory of Computation

Papers indexed

987

2005–2026

Papers per year

200586 peak2026

CiE papers

987 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2026Comparing the Effective Content of Subshifts.A. Nakid Cordero, Isabella Scott
2026Free Sets, Thin Sets and Rainbows for Barriers.Lorenzo Carlucci, Oriola Gjetaj
2026Weihrauch Reducibility Between Ramsey-Type Theorems and Well-Ordering Principles at the Level of $\varSigma ^0_2$-Induction.Lorenzo Carlucci, Giordano Celli
2026Complexities of Effective Reductions with Ordinal Turing Machines.Merlin Carl
2026A Note on Computable tale Spaces.Matthew de Brecht
2026Ordinary Differential Equations as a Universal Language for Computability and Complexity: From Polynomial Time to the Hyperarithmetical Hierarchy.Olivier Bournez
2026Glivenko's Theorem Underneath Structure.Riccardo Borsetto, Giulio Fellin, Tarmo Uustalu, Cheng-Syuan Wan
2026On Computability of Ideal Lattices.Nikolay Bazhenov, Manat Mustafa, Stanislav Yun
2026What is a Polynomial-Time Computable Square-Integrable Function?Aras Bacho, Svetlana Selivanova, Martin Ziegler
2026Bishop's (Up)Crossing Inequality and Lower Semicomputable Random Reals Revisited.Mikhail Andreev, Alexander Shen
2026Computable Cofinal Frass Limits.Nathanael L. Ackerman, Cameron E. Freer, Mostafa Mirabi
2025Alternation-Bounded Semi-unbounded Fan-in Cascading Circuits and the Complementation Closure Property.Tomoyuki Yamakami
2025Constructive Analysis of Maximal Ideals in $\mathbb {Z}[X]$ by the Material Interpretation.Franziskus Wiesnet
2025Variants of Solovay Reducibility.Ivan Titov
2025Computable Analysis for Extraction of Certified Programs and Its Applications.Holger Thies
2025Completeness Theorems for Modal Logic in Second-Order Arithmetic.Sho Shimomichi, Yuto Takeda, Keita Yokoyama
2025Ordinal Invariants of the h-Preorder on k-Labeled Forests.Victor L. Selivanov, Ilya Smirnov
2025LVictor L. Selivanov
2025On the Reverse Mathematics of Cut-Elimination and Determinacy.Philipp Provenzano
2025Weihrauch Problems as Containers.Ccilia Pradic, Ian Price
2025Injectivity of Polynomials over Finite Discrete Dynamical Systems.Antonio E. Porreca, Marius Rolland
2025Multidimensional Tilings and MSO Logic.Rmi Pallen, Ilkka Trm
2025Uniform Functional Interpretations.Paulo Oliva
2025Computably Discrete Represented Spaces.Eike Neumann, Arno Pauly, Ccilia Pradic, Manlio Valenti
2025Generalized Learnability of Stochastic Principles.Morenikeji Neri, Nicholas Pischke, Thomas Powell
2650 of 987← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.