Year of publication
Type of media
Source
Subject
Type of material
Licence
Language
61–80 of 112 hits
Sort by:
Sort by:
-
Weak essentially undecidable theories of concatenation, part II
Free accessSpringer Verlag | 2024| -
Constructions of categories of setoids from proof-irrelevant families
Free accessSpringer Verlag | 2016| -
Involutive Uninorm Logic with Fixed Point enjoys finite strong standard completeness
Free accessSpringer Verlag | 2023| -
Compositional truth with propositional tautologies and quantifier-free correctness
Free accessSpringer Verlag | 2024| -
Selection properties of the split interval and the Continuum Hypothesis
Free accessSpringer Verlag | 2021| -
Generalization of Shapiro’s theorem to higher arities and noninjective notations
Free accessSpringer Verlag | 2023| -
Interpreting the compositional truth predicate in models of arithmetic
Free accessSpringer Verlag | 2021| -
The fixed point and the Craig interpolation properties for sublogics of IL
Free accessSpringer Verlag | 2024| -
The small index property for countable superatomic boolean algebras
Free accessSpringer Verlag | 2023|
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.