Computability in Europe: Logic and Theory of Algorithms

CiE

CORE rank

CORE rank (raw)

Fields of research

Theory of Computation

Papers indexed

987

2005–2026

Papers per year

200586 peak2026

Most published authors

CiE papers

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

Year	Title	Authors
2005	A Logical Approach to Abstract Algebra.	Thierry Coquand
2005	Introduction: If CiE Did Not Exist, It Would Be Necessary to Invent It.	S. Barry Cooper
2005	The Complexity of Inductive Definability.	Douglas A. Cenzer, Jeffrey B. Remmel
2005	Symbol Grounding in Connectionist and Adaptive Agent Models.	Angelo Cangelosi
2005	Quantum Computing.	Harry Buhrman
2005	Recombinant DNA , Gene Splicing as Generative Devices of Formal Languages.	Paola Bonizzoni, Clelia de Felice, Giancarlo Mauri
2005	How to Compare the Power of Computational Models.	Udi Boker, Nachum Dershowitz
2005	Membrane Computing - Current Results and Future Problems.	Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor, Germn Terrazas
2005	A Thread Algebra with Multi-level Strategic Interleaving.	Jan A. Bergstra, Cornelis A. Middelburg
2005	Continuous Semantics for Strong Normalization.	Ulrich Berger
2005	The Fan Theorem and Uniform Continuity.	Josef Berger
2005	Computably Enumerable Sets in the Solovay and the Strong Weak Truth Table Degrees.	George Barmpalias

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