Erscheinungsjahr
Medientyp
Datenquelle
Fach
Format
Lizenz
Sprache
-
Categorical Abstract Algebraic Logic: Models of π-Institutions
Freier ZugriffDuke University Press | 2005| -
Relational Semantics for Kleene Logic and Action Logic
Freier ZugriffDuke University Press | 2005| -
Categorical Abstract Algebraic Logic: More on Protoalgebraicity
Freier ZugriffDuke University Press | 2006| -
Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalizing
Freier ZugriffDuke University Press | 2004| -
Program Size Complexity for Possibly Infinite Computations
Freier ZugriffDuke University Press | 2005| -
On the Degrees of Diagonal Sets and the Failure of the Analogue of a Theorem of Martin
Freier ZugriffDuke University Press | 2009| -
On the degree of ideal membership proofs from uniform families of polynomials over a finite field
Freier ZugriffDuke University Press | 2001| -
Propositional Proof Systems and Fast Consistency Provers
Freier ZugriffDuke University Press | 2007| -
Strong Normalization and Typability with Intersection Types
Freier ZugriffDuke University Press | 1996|
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.