Year of publication
Subject
Type of material
Licence
Language
TIB reading rooms collection
LUH institutes collection
Synonyms were used for: Foundations
Search without synonyms: keywords:(Foundations)
Used synonyms:
- bodenplatte
- fundament
- fundamentplatte
- grundplatte
- grundungsplatte
-
A portable environment for research in automated reasoning
National licenceSpringer Verlag | 1984|Keywords: Mathematical Logic and Foundations -
The linked inference principle, II: The user's viewpoint
National licenceSpringer Verlag | 1984|Keywords: Mathematical Logic and Foundations -
Term rewriting systems and algebra
National licenceSpringer Verlag | 1984|Keywords: Mathematical Logic and Foundations -
Universal unification
National licenceSpringer Verlag | 1984|Keywords: Mathematical Logic and Foundations -
Solving word problems in free algebras using complexity functions
National licenceSpringer Verlag | 1984|Keywords: Mathematical Logic and Foundations -
A general inductive completion algorithm and application to abstract data types
National licenceSpringer Verlag | 1984|Keywords: Mathematical Logic and Foundations -
EKL—a mathematically oriented proof checker
National licenceSpringer Verlag | 1984|Keywords: Mathematical Logic and Foundations -
Solving a problem in relevance logic with an automated theorem prover
National licenceSpringer Verlag | 1984|Keywords: Mathematical Logic and Foundations -
A new interpretation of the resolution principle
National licenceSpringer Verlag | 1984|Keywords: Mathematical Logic and Foundations -
A critical-pair/completion algorithm for finitely generated ideals in rings
National licenceSpringer Verlag | 1984|Keywords: Mathematical Logic and Foundations -
Reduction to NP-complete problems by interpretations
National licenceSpringer Verlag | 1984|Keywords: Mathematical Logic and Foundations -
Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs
National licenceSpringer Verlag | 1984|Keywords: Mathematical Logic and Foundations -
P-mitotic sets
National licenceSpringer Verlag | 1984|Keywords: Mathematical Logic and Foundations -
Universal Unification
National licenceSpringer Verlag | 1984|Keywords: Mathematical Logic and Foundations -
Canonical Forms in Finitely Presented Algebras
National licenceSpringer Verlag | 1984|Keywords: Mathematical Logic and Foundations -
Equivalence relations, invariants, and normal forms, II
National licenceSpringer Verlag | 1984|Keywords: Mathematical Logic and Foundations -
Termination of a Set of Rules Modulo a Set of Equations
National licenceSpringer Verlag | 1984|Keywords: Mathematical Logic and Foundations -
Analytic and Non-analytic Proofs
National licenceSpringer Verlag | 1984|Keywords: Mathematical Logic and Foundations -
Spektralproblem and completeness of logical decision problems
National licenceSpringer Verlag | 1984|Keywords: Mathematical Logic and Foundations -
The computational complexity of the unconstrained limited domino problem (with implications for logical decision problems)
National licenceSpringer Verlag | 1984|Keywords: Mathematical Logic and Foundations
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.