Year of publication
Type of material
Licence
TIB reading rooms collection
Synonyms were used for: Computability
Search without synonyms: keywords:("Computability")
Used synonyms:
- berechenbarkeit
-
Theory and applications of models of computation : 15th annual conference, TAMC 2019, Kitakyūshū, Japan, April 13-16, 2019 : proceedings
TIBKAT | 2019|Keywords: Berechenbarkeit -
Dense computability structures
Elsevier | 2020|Keywords: Computability structure, Dense computability structure, Maximal computability structure -
Computing with foresight and industry : 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019 : proceedings
TIBKAT | 2019|Keywords: Berechenbarkeit -
Theory and applications of models of computation : 10th international conference, TAMC 2013, Hong Kong, China, May 20 - 22, 2013 ; proceedings
TIBKAT | 2013|Keywords: Berechenbarkeit -
Ordinal computability : an introduction to infinitary machines
TIBKAT | 2019|Keywords: Berechenbarkeit -
Computability and realizability for interactive computations
Elsevier | 2013|Keywords: Computability -
Berechenbarkeit : Logik, Argumentation, Rechner und Assembler, Unendlichkeit, Grenzen der Automatisierbarkeit ; Lehrbuch für Unterricht und Selbststudium
TIBKAT | 2011|Keywords: Berechenbarkeit -
Post’s Problem for ordinal register machines: An explicit approach
Elsevier | 2009|Keywords: Computability, Ordinal computability -
Generalized Hyperarithmetical Computability Over Structures
Online Contents | 2017|Keywords: hyperarithmetical computability, computability theory -
Generalizing Computability Theory to Abstract Algebras
Springer Verlag | 2021|Keywords: Computability and continuity, Computability on abstract structures, Computability on the reals, Generalized computability -
Processes and Structures on Approximation Spaces
Online Contents | 2017|Keywords: hyperarithmetical computability, computability theory -
Parameterized Complexity of MAXIMUM EDGE COLORABLE SUBGRAPH
TIBKAT | 2020|Keywords: Berechenbarkeit -
Constructing Independent Spanning Trees in Alternating Group Networks
TIBKAT | 2020|Keywords: Berechenbarkeit -
Computational Complexity Characterization of Protecting Elections from Bribery
TIBKAT | 2020|Keywords: Berechenbarkeit
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 is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
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.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.