Year of publication
Type of media
Source
Subject
Type of material
Licence
Language
Synonyms were used for: Kirche
Search without synonyms: keywords:("Kirche")
Used synonyms:
- christliche kirche
- church
-
Generalizing Computability Theory to Abstract Algebras
Springer Verlag | 2021|Keywords: Generalized church-turing thesis -
From Invisible to Visible: The Evolution of Space Formation of the Nineteenth Century Christian Missionary Work in Taiwan
Springer Verlag | 2015|Keywords: The Presbyterian Church, Church -
From graph grammars to high level replacement systems
National licenceSpringer Verlag | 1991|Keywords: Church-Rosser Theorem -
Effective procedures and computable functions
National licenceSpringer Verlag | 1995|Keywords: Church-Turing thesis -
Effective Computation by Humans and Machines
National licenceSpringer Verlag | 2002|Keywords: The Church–Turing Thesis -
Development of Strategies and Transformation Paths for Structured and Targeted Digital Change: The Case of the Presbyterian Church of Ghana Trinity Congregation
Springer Verlag | 2018|Keywords: Church Events -
Customising Web Information Systems According to User Preferences
Springer Verlag | 2008|Keywords: Church-Rosser property -
Completion Attacks and Weak Keys of Oleshchuk’s Public Key Cryptosystem
Springer Verlag | 2005|Keywords: Church-Rosser property -
Church synthesis on register automata over linearly ordered data domains
Springer Verlag | 2022|Keywords: Church game -
Calculating Church-Rosser Proofs in Kleene Algebra
Springer Verlag | 2002|Keywords: Church-Rosser theorem -
Bottom-up tree pushdown automata and rewrite systems
National licenceSpringer Verlag | 1991|Keywords: Church-Rosser (=confluent) systems -
Assignments for applicative languages
National licenceSpringer Verlag | 1991|Keywords: Church-Rosser property
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.