1. CiE 2005:
Amsterdam,
The Netherlands
S. Barry Cooper, Benedikt Löwe, Leen Torenvliet (Eds.):
New Computational Paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings.
Lecture Notes in Computer Science 3526 Springer 2005, ISBN 3-540-26179-6 BibTeX
- S. Barry Cooper:
Introduction: If CiE Did Not Exist, It Would Be Necessary to Invent It.
1-7
Electronic Edition (link) BibTeX
- George Barmpalias:
Computably Enumerable Sets in the Solovay and the Strong Weak Truth Table Degrees.
8-17
Electronic Edition (link) BibTeX
- Josef Berger:
The Fan Theorem and Uniform Continuity.
18-22
Electronic Edition (link) BibTeX
- Ulrich Berger:
Continuous Semantics for Strong Normalization.
23-34
Electronic Edition (link) BibTeX
- Jan A. Bergstra, C. A. Middelburg:
A Thread Algebra with Multi-level Strategic Interleaving.
35-48
Electronic Edition (link) BibTeX
- Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor, Germán Terrazas:
Membrane Computing - Current Results and Future Problems.
49-53
Electronic Edition (link) BibTeX
- Udi Boker, Nachum Dershowitz:
How to Compare the Power of Computational Models.
54-64
Electronic Edition (link) BibTeX
- Paola Bonizzoni, Clelia de Felice, Giancarlo Mauri:
Recombinant DNA , Gene Splicing as Generative Devices of Formal Languages.
65-67
Electronic Edition (link) BibTeX
- Harry Buhrman:
Quantum Computing.
68-68
Electronic Edition (link) BibTeX
- Angelo Cangelosi:
Symbol Grounding in Connectionist and Adaptive Agent Models.
69-74
Electronic Edition (link) BibTeX
- Douglas A. Cenzer, Jeffrey B. Remmel:
The Complexity of Inductive Definability.
75-85
Electronic Edition (link) BibTeX
- Thierry Coquand:
A Logical Approach to Abstract Algebra.
86-95
Electronic Edition (link) BibTeX
- Rodney G. Downey, Wolfgang Merkle, Jan Reimann:
Schnorr Dimension.
96-105
Electronic Edition (link) BibTeX
- Jérôme Durand-Lose:
Abstract Geometrical Computation: Turing-Computing Ability and Undecidability.
106-116
Electronic Edition (link) BibTeX
- Abbas Edalat, Ali Asghar Khanban, André Lieutier:
Computability in Computational Geometry.
117-127
Electronic Edition (link) BibTeX
- Amin Farjudian:
Shrad: A Language for Sequential Real Number Computation.
128-128
Electronic Edition (link) BibTeX
- Olivier Finkel:
Borel Ranks and Wadge Degrees of Context Free omega-Languages.
129-138
Electronic Edition (link) BibTeX
- Artur S. d'Avila Garcez:
Fewer Epistemological Challenges for Connectionism.
139-149
Electronic Edition (link) BibTeX
- Ricard Gavaldà:
An Algebraic View on Exact Learning from Queries.
150-151
Electronic Edition (link) BibTeX
- Dina Q. Goldin, Peter Wegner:
The Church-Turing Thesis: Breaking the Myth.
152-168
Electronic Edition (link) BibTeX
- Daniel S. Graça, Manuel Lameiras Campagnolo, Jorge Buescu:
Robust Simulations of Turing Machines with Analytic Maps and Flows.
169-179
Electronic Edition (link) BibTeX
- Joel David Hamkins:
Infinitary Computability with Infinite Time Turing Machines.
180-187
Electronic Edition (link) BibTeX
- Tero Harju:
Combinatorial Models of Gene Assembly.
188-195
Electronic Edition (link) BibTeX
- Charles M. Harris:
Symmetric Enumeration Reducibility.
196-208
Electronic Edition (link) BibTeX
- Denis R. Hirschfeldt:
Computability-Theoretic and Proof-Theoretic Aspects of Vaughtian Model Theory.
209-210
Electronic Edition (link) BibTeX
- Herman Ruge Jervell:
Finite Trees as Ordinals.
211-220
Electronic Edition (link) BibTeX
- Iskander Sh. Kalimullin:
On the Problems of Definability in the Enumeration Degrees.
221-222
Electronic Edition (link) BibTeX
- Peter Koepke:
Computing a Model of Set Theory.
223-232
Electronic Edition (link) BibTeX
- Ulrich Kohlenbach:
Proof Mining in Functional Analysis.
233-234
Electronic Edition (link) BibTeX
- Margarita V. Korovina, Oleg V. Kudinov:
Towards Computability of Higher Type Continuous Data.
235-241
Electronic Edition (link) BibTeX
- Shankara Narayanan Krishna:
The Power of Mobility: Four Membranes Suffice.
242-251
Electronic Edition (link) BibTeX
- Lars Kristiansen, Mathias Barra:
The Small Grzegorczyk Classes and the Typed lambda-Calculus.
252-262
Electronic Edition (link) BibTeX
- Lars Kristiansen, Neil D. Jones:
The Flow of Data and the Complexity of Algorithms.
263-274
Electronic Edition (link) BibTeX
- Andrew E. M. Lewis:
On a Question of Sacks - A Partial Solution on the Positive Side.
275-286
Electronic Edition (link) BibTeX
- Angsheng Li:
The Low Splitting Theorem in the Difference Hierarchy.
287-296
Electronic Edition (link) BibTeX
- André Lieutier:
Geometric Software: Robustness Issues and Model of Computation.
297-298
Electronic Edition (link) BibTeX
- Jack H. Lutz:
The Dimension of a Point: Computability Meets Fractal Geometry.
299-299
Electronic Edition (link) BibTeX
- Florin Manea, Carlos Martín-Vide, Victor Mitrana:
Accepting Networks of Splicing Processors.
300-309
Electronic Edition (link) BibTeX
- Yuri Matiyasevich:
Hilbert's Tenth Problem and Paradigms of Computation.
310-321
Electronic Edition (link) BibTeX
- Klaus Meer:
On Some Relations Between Approximation Problems and PCPs over the Real Numbers.
322-331
Electronic Edition (link) BibTeX
- Krzysztof Michalak, Halina Kwasnicka:
Correlation Dimension and the Quality of Forecasts Given by a Neural Network.
332-341
Electronic Edition (link) BibTeX
- Peter Bro Miltersen:
The Computational Complexity of One-Dimensional Sandpiles.
342-348
Electronic Edition (link) BibTeX
- Andrey Morozov:
Categoricity in Restricted Classes.
349-349
Electronic Edition (link) BibTeX
- Yiannis N. Moschovakis:
Recursion and Complexity.
350-357
Electronic Edition (link) BibTeX
- Marcin Mostowski, Konrad Zdanowski:
FM-Representability and Beyond.
358-367
Electronic Edition (link) BibTeX
- Milad Niqui:
Formalising Exact Arithmetic in Type Theory.
368-377
Electronic Edition (link) BibTeX
- Geoffrey E. Ostrin, Stanley S. Wainer:
Complexity in Predicative Arithmetic.
378-384
Electronic Edition (link) BibTeX
- Dirk Pattinson:
Domain-Theoretic Formulation of Linear Boundary Value Problems.
385-395
Electronic Edition (link) BibTeX
- Gheorghe Paun:
Membrane Computing: Power, Efficiency, Applications.
396-407
Electronic Edition (link) BibTeX
- Thanases Pheidas, Xavier Vidaux:
The Analogue of Büchi's Problem for Polynomials.
408-417
Electronic Edition (link) BibTeX
- Robert Rettinger, Xizhong Zheng:
On the Turing Degrees of Divergence Bounded Computable Reals.
418-428
Electronic Edition (link) BibTeX
- Uwe Schöning:
New Algorithmic Paradigms in Exponential Time Algorithms.
429-429
Electronic Edition (link) BibTeX
- Victor L. Selivanov:
Some Reducibilities on Regular Sets.
430-439
Electronic Edition (link) BibTeX
- Wilfried Sieg:
Computability and Discrete Dynamical Systems.
440-440
Electronic Edition (link) BibTeX
- Ivan N. Soskov:
Uniform Operators.
441-450
Electronic Edition (link) BibTeX
- Alexandra A. Soskova:
Minimal Pairs and Quasi-minimal Degrees for the Joint Spectra of Structures.
451-460
Electronic Edition (link) BibTeX
- Frank Stephan, Guohua Wu:
Presentations of K-Trivial Reals and Kolmogorov Complexity.
461-469
Electronic Edition (link) BibTeX
- Alexey Stukachev:
Presentations of Structures in Admissible Sets.
470-478
Electronic Edition (link) BibTeX
- Germán Terrazas, Natalio Krasnogor, Marian Gheorghe, Francesco Bernardini, Steve Diggle, Miguel Cámara:
An Environment Aware P-System Model of Quorum Sensing.
479-485
Electronic Edition (link) BibTeX
- Sebastiaan Terwijn:
Kripke Models, Distributive Lattices, and Medvedev Degrees.
486-494
Electronic Edition (link) BibTeX
- Jacobo Torán:
Arthur-Merlin Games and the Problem of Isomorphism Testing.
495-506
Electronic Edition (link) BibTeX
- Giuseppe Trautteur:
Beyond the Super-Turing Snare: Analog Computation and Digital Virtuality.
507-514
Electronic Edition (link) BibTeX
- J. V. Tucker, Jeffery I. Zucker:
A Network Model of Analogue Computation over Metric Algebras.
515-529
Electronic Edition (link) BibTeX
- Klaus Weihrauch:
Computable Analysis.
530-531
Electronic Edition (link) BibTeX
- Philip D. Welch:
The Transfinite Action of 1 Tape Turing Machines.
532-539
Electronic Edition (link) BibTeX
- Damien Woods, J. Paul Gibson:
Complexity of Continuous Space Machine Operations.
540-551
Electronic Edition (link) BibTeX
- Ning Zhong:
Computable Analysis of a Non-homogeneous Boundary-Value Problem for the Korteweg-de Vries Equation.
552-561
Electronic Edition (link) BibTeX
- Martin Ziegler:
Computability and Continuity on the Real Arithmetic Hierarchy and the Power of Type-2 Nondeterminism.
562-571
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:01:35 2009
by Michael Ley (ley@uni-trier.de)
