Conferences in DBLP
S. Barry Cooper Introduction: If CiE Did Not Exist, It Would Be Necessary to Invent It. [Citation Graph (0, 0)][DBLP ] Conf ] George Barmpalias Computably Enumerable Sets in the Solovay and the Strong Weak Truth Table Degrees. [Citation Graph (0, 0)][DBLP ] Conf ] Josef Berger The Fan Theorem and Uniform Continuity. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Berger Continuous Semantics for Strong Normalization. [Citation Graph (0, 0)][DBLP ] Conf ] Jan A. Bergstra , C. A. Middelburg A Thread Algebra with Multi-level Strategic Interleaving. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco Bernardini , Marian Gheorghe , Natalio Krasnogor , Germán Terrazas Membrane Computing - Current Results and Future Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Udi Boker , Nachum Dershowitz How to Compare the Power of Computational Models. [Citation Graph (0, 0)][DBLP ] Conf ] Paola Bonizzoni , Clelia de Felice , Giancarlo Mauri Recombinant DNA , Gene Splicing as Generative Devices of Formal Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Harry Buhrman Quantum Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Angelo Cangelosi Symbol Grounding in Connectionist and Adaptive Agent Models. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas A. Cenzer , Jeffrey B. Remmel The Complexity of Inductive Definability. [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Coquand A Logical Approach to Abstract Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Rodney G. Downey , Wolfgang Merkle , Jan Reimann Schnorr Dimension. [Citation Graph (0, 0)][DBLP ] Conf ] Jérôme Durand-Lose Abstract Geometrical Computation: Turing-Computing Ability and Undecidability. [Citation Graph (0, 0)][DBLP ] Conf ] Abbas Edalat , Ali Asghar Khanban , André Lieutier Computability in Computational Geometry. [Citation Graph (0, 0)][DBLP ] Conf ] Amin Farjudian Shrad: A Language for Sequential Real Number Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Finkel Borel Ranks and Wadge Degrees of Context Free omega-Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Artur S. d'Avila Garcez Fewer Epistemological Challenges for Connectionism. [Citation Graph (0, 0)][DBLP ] Conf ] Ricard Gavaldà An Algebraic View on Exact Learning from Queries. [Citation Graph (0, 0)][DBLP ] Conf ] Dina Q. Goldin , Peter Wegner The Church-Turing Thesis: Breaking the Myth. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel S. Graça , Manuel Lameiras Campagnolo , Jorge Buescu Robust Simulations of Turing Machines with Analytic Maps and Flows. [Citation Graph (0, 0)][DBLP ] Conf ] Joel David Hamkins Infinitary Computability with Infinite Time Turing Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Tero Harju Combinatorial Models of Gene Assembly. [Citation Graph (0, 0)][DBLP ] Conf ] Charles M. Harris Symmetric Enumeration Reducibility. [Citation Graph (0, 0)][DBLP ] Conf ] Denis R. Hirschfeldt Computability-Theoretic and Proof-Theoretic Aspects of Vaughtian Model Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Herman Ruge Jervell Finite Trees as Ordinals. [Citation Graph (0, 0)][DBLP ] Conf ] Iskander Sh. Kalimullin On the Problems of Definability in the Enumeration Degrees. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Koepke Computing a Model of Set Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Kohlenbach Proof Mining in Functional Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Margarita V. Korovina , Oleg V. Kudinov Towards Computability of Higher Type Continuous Data. [Citation Graph (0, 0)][DBLP ] Conf ] Shankara Narayanan Krishna The Power of Mobility: Four Membranes Suffice. [Citation Graph (0, 0)][DBLP ] Conf ] Lars Kristiansen , Mathias Barra The Small Grzegorczyk Classes and the Typed lambda-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Lars Kristiansen , Neil D. Jones The Flow of Data and the Complexity of Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew E. M. Lewis On a Question of Sacks - A Partial Solution on the Positive Side. [Citation Graph (0, 0)][DBLP ] Conf ] Angsheng Li The Low Splitting Theorem in the Difference Hierarchy. [Citation Graph (0, 0)][DBLP ] Conf ] André Lieutier Geometric Software: Robustness Issues and Model of Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Jack H. Lutz The Dimension of a Point: Computability Meets Fractal Geometry. [Citation Graph (0, 0)][DBLP ] Conf ] Florin Manea , Carlos Martín-Vide , Victor Mitrana Accepting Networks of Splicing Processors. [Citation Graph (0, 0)][DBLP ] Conf ] Yuri Matiyasevich Hilbert's Tenth Problem and Paradigms of Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Meer On Some Relations Between Approximation Problems and PCPs over the Real Numbers. [Citation Graph (0, 0)][DBLP ] Conf ] Krzysztof Michalak , Halina Kwasnicka Correlation Dimension and the Quality of Forecasts Given by a Neural Network. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Bro Miltersen The Computational Complexity of One-Dimensional Sandpiles. [Citation Graph (0, 0)][DBLP ] Conf ] Andrey Morozov Categoricity in Restricted Classes. [Citation Graph (0, 0)][DBLP ] Conf ] Yiannis N. Moschovakis Recursion and Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Marcin Mostowski , Konrad Zdanowski FM-Representability and Beyond. [Citation Graph (0, 0)][DBLP ] Conf ] Milad Niqui Formalising Exact Arithmetic in Type Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Geoffrey E. Ostrin , Stanley S. Wainer Complexity in Predicative Arithmetic. [Citation Graph (0, 0)][DBLP ] Conf ] Dirk Pattinson Domain-Theoretic Formulation of Linear Boundary Value Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Gheorghe Paun Membrane Computing: Power, Efficiency, Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Thanases Pheidas , Xavier Vidaux The Analogue of Büchi's Problem for Polynomials. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Rettinger , Xizhong Zheng On the Turing Degrees of Divergence Bounded Computable Reals. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Schöning New Algorithmic Paradigms in Exponential Time Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Victor L. Selivanov Some Reducibilities on Regular Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Wilfried Sieg Computability and Discrete Dynamical Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ivan N. Soskov Uniform Operators. [Citation Graph (0, 0)][DBLP ] Conf ] Alexandra A. Soskova Minimal Pairs and Quasi-minimal Degrees for the Joint Spectra of Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Stephan , Guohua Wu Presentations of K-Trivial Reals and Kolmogorov Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Alexey Stukachev Presentations of Structures in Admissible Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Germán Terrazas , Natalio Krasnogor , Marian Gheorghe , Francesco Bernardini , Steve Diggle , Miguel Cámara An Environment Aware P-System Model of Quorum Sensing. [Citation Graph (0, 0)][DBLP ] Conf ] Sebastiaan Terwijn Kripke Models, Distributive Lattices, and Medvedev Degrees. [Citation Graph (0, 0)][DBLP ] Conf ] Jacobo Torán Arthur-Merlin Games and the Problem of Isomorphism Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe Trautteur Beyond the Super-Turing Snare: Analog Computation and Digital Virtuality. [Citation Graph (0, 0)][DBLP ] Conf ] J. V. Tucker , Jeffery I. Zucker A Network Model of Analogue Computation over Metric Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Weihrauch Computable Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Philip D. Welch The Transfinite Action of 1 Tape Turing Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Damien Woods , J. Paul Gibson Complexity of Continuous Space Machine Operations. [Citation Graph (0, 0)][DBLP ] Conf ] Ning Zhong Computable Analysis of a Non-homogeneous Boundary-Value Problem for the Korteweg-de Vries Equation. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Ziegler Computability and Continuity on the Real Arithmetic Hierarchy and the Power of Type-2 Nondeterminism. [Citation Graph (0, 0)][DBLP ] Conf ] 