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
2006Degrees of Weakly Computable Reals.Keng Meng Ng, Frank Stephan, Guohua Wu
2006Can General Relativistic Computers Break the Turing Barrier?.Istvn Nmeti, Hajnal Andrka
2006A Measure of Space for Computing over the Reals.Paulin Jacob de Naurois
2006Martingale Families and Dimension in P.Philippe Moser
2006Constraints on Hypercomputation.Greg Michaelson, W. Paul Cockshott
2006Uncomputability Below the Real Halting Problem.Klaus Meer, Martin Ziegler
2006Optimization and Approximation Problems Related to Polynomial System Solving.Klaus Meer
2006Two Open Problems on Effective Dimension.Elvira Mayordomo
2006Towards a Trichotomy for QuantifiedBarnaby Martin, Florent R. Madelaine
2006From a Zoo to a Zoology: Descriptive Complexity for Graph Polynomials.Johann A. Makowsky
2006Space Bounds for Infinitary Computation.Benedikt Lwe
2006The Jump Classes of Minimal Covers.Andrew E. M. Lewis
2006Lower Bounds Using Kolmogorov Complexity.Sophie Laplante
2006An Invariant Cost Model for the Lambda Calculus.Ugo Dal Lago, Simone Martini
2006Undecidability in the Homomorphic Quasiorder of Finite Labeled Forests.Oleg V. Kudinov, Victor L. Selivanov
2006Complexity-Theoretic Hierarchies.Lars Kristiansen
2006Upper and Lower Bounds for the Computational Power of P Systems with Mobile Membranes.Shankara Narayanan Krishna
2006Forcing with Random Variables and Proof Complexity.Jan Krajcek
2006Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Hybrid Systems.Margarita V. Korovina, Nicolai N. Vorobjov Jr.
2006Infinite Time Register Machines.Peter Koepke
2006On Graph Isomorphism for Restricted Graph Classes.Johannes Kbler
2006Coinductive Proofs for Basic Real Computation.Tie Hou
2006Enumeration Reducibility with Polynomial Time Bounds.Charles M. Harris
2006An Analysis of the Lemmas of Urysohn and Urysohn-Tietze According to Effective Borel Measurability.Guido Gherardi
2006What Does the Incompleteness Theorem Add to the Unsolvability of the Halting Problem?Torkel Franzn
876900 of 987← PreviousNext →

Comparable venues

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