Search results for "computability"

Hits ?▲	Authors	Title	Venue	Year	Link
29	Bjørn Kjos-Hanssen, Frank Stephan 0001, Sebastiaan A. Terwijn	Covering the Recursive Sets.	CiE	2015	DBLP DOI BibTeX RDF
29	Alex Galicki	Randomness and Differentiability of Convex Functions.	CiE	2015	DBLP DOI BibTeX RDF
29	Laura Crosilla	Error and Predicativity.	CiE	2015	DBLP DOI BibTeX RDF
29	Iosif Petrakis	Completely Regular Bishop Spaces.	CiE	2015	DBLP DOI BibTeX RDF
29	Mircea Dumitru	Is Human Mind Fully Algorithmic? Remarks on Kurt Gödel's Incompleteness Theorems.	CiE	2015	DBLP DOI BibTeX RDF
29	Stephen G. Simpson	Degrees of Unsolvability: A Tutorial.	CiE	2015	DBLP DOI BibTeX RDF
29	Jeroen Van der Meeren, Andreas Weiermann	How to Compare Buchholz-Style Ordinal Notation Systems with Gordeev-Style Notation Systems.	CiE	2015	DBLP DOI BibTeX RDF
29	André Nies, Slawomir Solecki	Local Compactness for Computable Polish Metric Spaces is \varPi ^1_1 Π 1 1 -complete.	CiE	2015	DBLP DOI BibTeX RDF
29	Eva Maia, Nelma Moreira, Rogério Reis	Prefix and Right-Partial Derivative Automata.	CiE	2015	DBLP DOI BibTeX RDF
29	Anca Muscholl	On Distributed Monitoring and Synthesis.	CiE	2015	DBLP DOI BibTeX RDF
29	Thorsten Ehlers, Mike Müller	New Bounds on Optimal Sorting Networks.	CiE	2015	DBLP DOI BibTeX RDF
29	Georg Moser, Thomas Powell 0001	On the Computational Content of Termination Proofs.	CiE	2015	DBLP DOI BibTeX RDF
29	Joost J. Joosten	Turing Jumps Through Provability.	CiE	2015	DBLP DOI BibTeX RDF
29	Timothy H. McNicholl	A Note on the Computable Categoricity of \ell ^p ℓ p Spaces.	CiE	2015	DBLP DOI BibTeX RDF
29	Michal Kovác	Decidability of Termination Problems for Sequential P Systems with Active Membranes.	CiE	2015	DBLP DOI BibTeX RDF
29	Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov	Weighted Automata on Infinite Words in the Context of Attacker-Defender Games.	CiE	2015	DBLP DOI BibTeX RDF
29	Gheorghe Paun	Unconventional Computing: Do We Dream Too Much?	CiE	2015	DBLP DOI BibTeX RDF
29	Sergey Verlan	Universality in Molecular and Cellular Computing.	CiE	2015	DBLP DOI BibTeX RDF
29	Stéphane Le Roux 0001, Arno Pauly	Weihrauch Degrees of Finding Equilibria in Sequential Games.	CiE	2015	DBLP DOI BibTeX RDF
29	Margarita V. Korovina, Oleg V. Kudinov	Rice's Theorem in Effectively Enumerable Topological Spaces.	CiE	2015	DBLP DOI BibTeX RDF
29	Martijn Baartse, Klaus Meer	Some Results on Interactive Proofs for Real Computations.	CiE	2015	DBLP DOI BibTeX RDF
29	Victor L. Selivanov	Towards the Effective Descriptive Set Theory.	CiE	2015	DBLP DOI BibTeX RDF
29	Felice Cardone	Computers and the Mechanics of Communication - Outline of a Vision from the Work of Petri and Holt.	CiE	2015	DBLP DOI BibTeX RDF
29	Daniel Goc, Hamoon Mousavi, Luke Schaeffer, Jeffrey O. Shallit	A New Approach to the Paperfolding Sequences.	CiE	2015	DBLP DOI BibTeX RDF
29	Chengling Fang, Jiang Liu 0002, Guohua Wu, Mars M. Yamaleev	Nonexistence of Minimal Pairs in L[d].	CiE	2015	DBLP DOI BibTeX RDF
29	Markus L. Schmid	Computing Equality-Free String Factorisations.	CiE	2015	DBLP DOI BibTeX RDF
29	Máté Szabó	Kalmár and Péter: Undecidability as a Consequence of Incompleteness.	CiE	2015	DBLP DOI BibTeX RDF
29	Makoto Fujiwara	Intuitionistic Provability versus Uniform Provability in \mathsfRCA RCA.	CiE	2015	DBLP DOI BibTeX RDF
29	Nikolay Bazhenov 0001	Prime Model with No Degree of Autostability Relative to Strong Constructivizations.	CiE	2015	DBLP DOI BibTeX RDF
29	Matthew de Brecht, Matthias Schröder 0001, Victor L. Selivanov	Base-Complexity Classifications of QCB0-Spaces.	CiE	2015	DBLP DOI BibTeX RDF
29	Merlin Carl	ITRM I T R M -Recognizability from Random Oracles.	CiE	2015	DBLP DOI BibTeX RDF
29	Ludovic Patey	Iterative Forcing and Hyperimmunity in Reverse Mathematics.	CiE	2015	DBLP DOI BibTeX RDF
29	Rodica Ceterchi, K. G. Subramanian 0001, Ibrahim Venkat	P Systems with Parallel Rewriting for Chain Code Picture Languages.	CiE	2015	DBLP DOI BibTeX RDF
29	Francis Adams, Douglas Cenzer	Computability and Categoricity of Ultrahomogeneous Structures.	CiE	2014	DBLP DOI BibTeX RDF
29	Kenshi Miyabe	L1-Computability, Layerwise Computability and Solovay Reducibility.	Comput.	2013	DBLP DOI BibTeX RDF
29	Johanna N. Y. Franklin, Asher M. Kach, Russell G. Miller, Reed Solomon	Local Computability for Ordinals.	CiE	2013	DBLP DOI BibTeX RDF
29	Olivier Bournez, Daniel Silva Graça, Amaury Pouly, Ning Zhong 0002	Computability and Computational Complexity of the Evolution of Nonlinear Dynamical Systems.	CiE	2013	DBLP DOI BibTeX RDF
29	Jirí Wiedermann	Computability and Non-computability Issues in Amorphous Computing.	IFIP TCS	2012	DBLP DOI BibTeX RDF
29	Arno Pauly	Multi-valued Functions in Computability Theory.	CiE	2012	DBLP DOI BibTeX RDF
29	Alexander Shen	Game Arguments in Computability Theory and Algorithmic Information Theory.	CiE	2012	DBLP DOI BibTeX RDF
29	Shankara Narayanan Krishna, Bogdan Aman, Gabriel Ciobanu	On the Computability Power of Membrane Systems with Controlled Mobility.	CiE	2012	DBLP DOI BibTeX RDF
29	Mathieu Hoyrup, Cristobal Rojas, Klaus Weihrauch	Computability of the Radon-Nikodym Derivative.	CiE	2011	DBLP DOI BibTeX RDF
29	Dimiter Skordev, Ivan Georgiev	On a Relative Computability Notion for Real Functions.	CiE	2011	DBLP DOI BibTeX RDF
29	Shankara Narayanan Krishna, Gabriel Ciobanu	Computability Power of Mobility in Enhanced Mobile Membranes.	CiE	2011	DBLP DOI BibTeX RDF
29	Matthew S. Bauer, Xizhong Zheng	On the Weak Computability of Continuous Real Functions	CCA	2010	DBLP DOI BibTeX RDF
29	Douglas A. Cenzer, S. Ali Dashti, Ferit Toska, Sebastian Wyman	Computability of Countable Subshifts.	CiE	2010	DBLP DOI BibTeX RDF
29	Andrej Bauer, Peter Hertling, Ker-I Ko	CCA 2009 Preface - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis.	CCA	2009	DBLP BibTeX RDF
29	Martin Ziegler 0001	Real Computation with Least Discrete Advice: A Complexity Theory of Nonuniform Computability.	CCA	2009	DBLP BibTeX RDF
29	Dana S. Scott	Semilattices, Domains, and Computability (Invited Talk).	CCA	2009	DBLP BibTeX RDF
29	Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi	Computability of Probability Distributions and Distribution Functions.	CCA	2009	DBLP BibTeX RDF
29	Mark Braverman	Computability and Complexity of Julia Sets (Invited Talk).	CCA	2009	DBLP BibTeX RDF
29	Robert Rettinger, Xizhong Zheng	On the Computability of Rectifiable Simple Curve (Extended Abstract).	CCA	2009	DBLP BibTeX RDF
29	Vasco Brattka, Guido Gherardi	Weihrauch Degrees, Omniscience Principles and Weak Computability.	CCA	2009	DBLP BibTeX RDF
29	Andrej Bauer, Peter Hertling, Ker-I Ko	CCA 2009 Front Matter - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis.	CCA	2009	DBLP BibTeX RDF
29	Pieter Collins	Computability of Homology for Compact Absolute Neighbourhood Retracts.	CCA	2009	DBLP BibTeX RDF
29	Pieter Collins	Computability and Representations of the Zero Set.	CCA	2008	DBLP DOI BibTeX RDF
29	Margarita V. Korovina, Oleg V. Kudinov	Towards Computability over Effectively Enumerable Topological Spaces.	CCA	2008	DBLP DOI BibTeX RDF
29	Pieter Collins, Daniel Silva Graça	Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach.	CCA	2008	DBLP DOI BibTeX RDF
29	Hideki Tsuiki, Shuji Yamada	On Finite-time Computability Preserving Conversions.	CCA	2008	DBLP DOI BibTeX RDF
29	Ruth Dillhage, Vasco Brattka	Computability of the Metric Projection Onto Finite-dimensional Linear Subspaces.	CCA	2008	DBLP DOI BibTeX RDF
29	Xizhong Zheng	Finitely Bounded Effective Computability.	CCA	2007	DBLP DOI BibTeX RDF
29	Robert Rettinger	On the Computability of Blochs Constant.	CCA	2007	DBLP DOI BibTeX RDF
29	Volker Bosserhoff	Notions of Probabilistic Computability on Represented Spaces.	CCA	2007	DBLP DOI BibTeX RDF
29	Stéphane Le Roux 0001, Martin Ziegler 0001	Singular Coverings and Non-Uniform Notions of Closed Set Computability.	CCA	2007	DBLP DOI BibTeX RDF
29	Dimiter Skordev	e2-computability of e, pi and Other Famous Constants.	CCA	2007	DBLP DOI BibTeX RDF
29	Christoph Spandl	Computability of Topological Pressure for Shifts of Finite Type with Applications in Statistical Physics.	CCA	2007	DBLP DOI BibTeX RDF
29	Ruth Dillhage	Computability of the Spectrum of Self-Adjoint Operators and the Computable Operational Calculus.	CCA	2007	DBLP DOI BibTeX RDF
29	Volker Bosserhoff	Computability of Solutions of Operator Equations.	CCA	2006	DBLP DOI BibTeX RDF
29	Timothy H. McNicholl	Computability and the Implicit Function Theorem.	CCA	2006	DBLP DOI BibTeX RDF
29	Hiroyasu Kamo	Computability and Computable Uniqueness of Urysohn's Universal Metric Space.	CCA	2005	DBLP BibTeX RDF
29	Tien D. Kieu	Mathematical Computability Questions for some Classes of Linear and Non-Linear Differential Equations Originated from Hilbert's Tenth Problem.	CCA	2005	DBLP BibTeX RDF
29	Joel David Hamkins	Infinitary Computability with Infinite Time Turing Machines.	CiE	2005	DBLP DOI BibTeX RDF
29	Jack H. Lutz	The Dimension of a Point: Computability Meets Fractal Geometry.	CiE	2005	DBLP DOI BibTeX RDF
29	Jack H. Lutz	Computability versus exact computability of martingales.	Inf. Process. Lett.	2004	DBLP DOI BibTeX RDF
29	Fredrik Dahlgren	Computability and continuity in metric partial algebras equipped with computability structures.	Math. Log. Q.	2004	DBLP DOI BibTeX RDF
29	Yoshiki Tsujii, Mariko Yasugi, Takakazu Mori	Sequential Computability of a Function: Diagonal Space and Limiting Recursion.	CCA	2004	DBLP DOI BibTeX RDF
29	Akitoshi Kawamura	Type-2 Computability and Moore's Recursive Functions.	CCA	2004	DBLP DOI BibTeX RDF
29	Ali Asghar Khanban, Abbas Edalat, André Lieutier	Computability of Partial Delaunay Triangulation and Voronoi Diagram.	CCA	2002	DBLP DOI BibTeX RDF
29	Mariko Yasugi, Yoshiki Tsujii	Two Notions of Sequential Computability of a Function with Jumps.	CCA	2002	DBLP DOI BibTeX RDF
29	Cristian S. Calude, Michael J. Dinneen, Silviu Sburlan (eds.)	Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, DMTCS 20Ol, Constanta, Romania.	DMTCS	2001	DBLP DOI BibTeX RDF
29	Ludwig Staiger	How Large is the Set of Disjunctive Sequences?	DMTCS	2001	DBLP DOI BibTeX RDF
29	Hajime Ishihara	Sequentially Continuity in Constructive Mathematics.	DMTCS	2001	DBLP DOI BibTeX RDF
29	Ioan Tomescu	The Number of Graphs and Digraphs with a Fixed Diameter and Connectivity.	DMTCS	2001	DBLP DOI BibTeX RDF
29	Vincent Vajnovszki	A Loopless Generation of Bitstrings without p Consecutive Ones.	DMTCS	2001	DBLP DOI BibTeX RDF
29	Henning Fernau	Even Linear Simple Matrix Languages: Formal Language Aspects.	DMTCS	2001	DBLP DOI BibTeX RDF
29	Martin Plátek, Tomás Holan, Vladislav Kubon	On Relax-ability of Word-Order by D-grammars.	DMTCS	2001	DBLP DOI BibTeX RDF
29	Piergiorgio Odifreddi	Recursive Functions: An Archeological Look.	DMTCS	2001	DBLP DOI BibTeX RDF
29	Lane A. Hemaspaandra, Harald Hempel	P-Immune Sets with Holes Lack Self-Reducibility Properties.	DMTCS	2001	DBLP DOI BibTeX RDF
29	Adriana Popovici, Dan Popovici	On the Structure of Linear Cellular Automata.	DMTCS	2001	DBLP DOI BibTeX RDF
29	Peter Schuster 0001, Luminita Vîta, Douglas S. Bridges	Apartness as a Relation Between Subsets.	DMTCS	2001	DBLP DOI BibTeX RDF
29	Robert Rettinger, Xizhong Zheng, Romain Gengler, Burchard von Braunmühl	Monotonically Computable Real Numbers.	DMTCS	2001	DBLP DOI BibTeX RDF
29	Vitaly I. Voloshin	Greedy Algorithms for the Lower and Upper Chromatic Numbers.	DMTCS	2001	DBLP DOI BibTeX RDF
29	Frank Harary	Early Computer Science Adventures of a Mathematician.	DMTCS	2001	DBLP DOI BibTeX RDF
29	Jouni Järvinen	Armstrong Systems on Ordered Sets.	DMTCS	2001	DBLP DOI BibTeX RDF
29	Vadim E. Levit, Eugen Mandrescu	Unicycle Bipartite Graphs with Only Uniquely Restricted Maximum Matchings.	DMTCS	2001	DBLP DOI BibTeX RDF
29	George Georgescu, Afrodita Iorgulescu	Pseudo-BCK Algebras: An Extension of BCK Algebras.	DMTCS	2001	DBLP DOI BibTeX RDF
29	Verónica Becher, Sergio Daicz, Gregory J. Chaitin	A Highly Random Number.	DMTCS	2001	DBLP DOI BibTeX RDF
29	Douglas S. Bridges	Dini's Theorem: A Constructive Case Study.	DMTCS	2001	DBLP DOI BibTeX RDF
29	Hatem M. Bahig, Mohamed H. El-Zahar, Ken Nakamula	Some Results for Some Conjectures in Addition Chains.	DMTCS	2001	DBLP DOI BibTeX RDF
29	Daniel Hort, Jirí Rachunek	Lex Ideals of Generalized MV-Algebras.	DMTCS	2001	DBLP DOI BibTeX RDF