1–20 of 235 hits
Sort by:
Sort by:
-
Phase Transition Thresholds for Some Natural Subclasses of the Computable Functions
British Library Conference Proceedings | 2006|Keywords: Computational barriers -
Constraints on Hypercomputation
British Library Conference Proceedings | 2006|Keywords: Computational barriers -
Uncomputability Below the Real Halting Problem
British Library Conference Proceedings | 2006|Keywords: Computational barriers -
Optimization and Approximation Problems Related to Polynomial System Solving
British Library Conference Proceedings | 2006|Keywords: Computational barriers -
Enumeration Reducibility with Polynomial Time Bounds
British Library Conference Proceedings | 2006|Keywords: Computational barriers -
Turing Universality in Dynamical Systems
British Library Conference Proceedings | 2006|Keywords: Computational barriers -
Heap-Abstraction for an Object-Oriented Calculus with Thread Classes
British Library Conference Proceedings | 2006|Keywords: Computational barriers -
Partial Recursive Functions in Martin-Lof Type Theory
British Library Conference Proceedings | 2006|Keywords: Computational barriers -
Do Noetherian Modules Have Noetherian Basis Functions?
British Library Conference Proceedings | 2006|Keywords: Computational barriers -
Understanding and Using Spector's Bar Recursive Interpretation of Classical Analysis
British Library Conference Proceedings | 2006|Keywords: Computational barriers -
Martingale Families and Dimension in P
British Library Conference Proceedings | 2006|Keywords: Computational barriers -
Towards a Trichotomy for Quantified H-Coloring
British Library Conference Proceedings | 2006|Keywords: Computational barriers -
From a Zoo to a Zoology: Descriptive Complexity for Graph Polynomials
British Library Conference Proceedings | 2006|Keywords: Computational barriers -
Infinite Time Register Machines
British Library Conference Proceedings | 2006|Keywords: Computational barriers -
What Does the Incompleteness Theorem Add to the Unsolvability of the Halting Problem? (Abstract)
British Library Conference Proceedings | 2006|Keywords: Computational barriers -
Deep Inference and Its Normal Form of Derivations
British Library Conference Proceedings | 2006|Keywords: Computational barriers -
LJQ: A Strongly Focused Calculus for Intuitionistic Logic
British Library Conference Proceedings | 2006|Keywords: Computational barriers -
The Church-Turing Thesis: Consensus and Opposition
British Library Conference Proceedings | 2006|Keywords: Computational barriers -
Prefix-Like Complexities and Computability in the Limit
British Library Conference Proceedings | 2006|Keywords: Computational barriers
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.