Year of publication
Type of media
Source
Type of material
Licence
Language
Synonyms were used for: Kirche
Search without synonyms: keywords:("Kirche")
Used synonyms:
- christliche kirche
- church
-
Church–Rosser property of a simple reduction for full first-order classical natural deduction
National licenceElsevier | 2002|Keywords: Church–Rosser property -
Confluence of the lambda calculus with left-linear algebraic rewriting
National licenceElsevier | 1992|Keywords: Church-Rosser -
Contraceptive behavior among sexually active Hispanic adolescents
National licenceElsevier | 1990|Keywords: Contraceptive behavior Church attendance Sexual behavior DuRant's model of contraceptive Hispanics -
Cancellation rules and extended word problems
National licenceElsevier | 1985|Keywords: Church-Rosser -
A note on a special one-rule semi-Thue system
National licenceElsevier | 1985|Keywords: Church-Rosser -
A finite thue system with decidable word problem and without equivalent finite canonical system
National licenceElsevier | 1985|Keywords: Church-Rosser property -
The Church-Rosser property and special Thue systems
National licenceElsevier | 1985|Keywords: Church-Rosser property -
Reductions in tree replacement systems
National licenceElsevier | 1985|Keywords: Church-Rosser system -
Decidable sentences of Church-Rosser congruences
National licenceElsevier | 1983|Keywords: Church-Rosser property -
Information integration within the church of England
National licenceElsevier | 1981|Keywords: Church, Church Management, Church Commissioners -
NTS grammars and church–rosser systems
National licenceElsevier | 1981|Keywords: monadic Church-Rosser systems
- ««
- «
- 1
- »»
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.