Erscheinungsjahr
Medientyp
Datenquelle
Format
Lizenz
Sprache
-
A Polynomial Kernel for Paw-Free Editing
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
The New Rewriting Engine of Dedukti (System Description)
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Modules over Monads and Operational Semantics
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Multistage Vertex Cover
Freier ZugriffDataCite | 2019|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Brief Announcement: The Fault-Tolerant Cluster-Sending Problem
Freier ZugriffDataCite | 2019|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Open System Categorical Quantum Semantics in Natural Language Processing
Freier ZugriffDataCite | 2015|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
A Formalization of Forcing and the Unprovability of the Continuum Hypothesis
Freier ZugriffDataCite | 2019|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Formalizing Computability Theory via Partial Recursive Functions
Freier ZugriffDataCite | 2019|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Circuit Transformations for Quantum Architectures
Freier ZugriffDataCite | 2019|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Sublogarithmic Distributed Algorithms for Lovász Local Lemma, and the Complexity Hierarchy
Freier ZugriffDataCite | 2017|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
On Optimal 2- and 3-Planar Graphs
Freier ZugriffDataCite | 2017|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Algebraic Laws for Weak Consistency
Freier ZugriffDataCite | 2017|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter
Freier ZugriffDataCite | 2017|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
An Auditable Constraint Programming Solver
Freier ZugriffDataCite | 2022|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Diverse Pairs of Matchings
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Blockchain Consensus Protocols in the Wild (Keynote Talk)
Freier ZugriffDataCite | 2017|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
An FPT Algorithm for Elimination Distance to Bounded Degree Graphs
Freier ZugriffDataCite | 2021|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Complexity Classification of Conjugated Clifford Circuits
Freier ZugriffDataCite | 2018|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Scala with Explicit Nulls
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Bounded Reachability Problems Are Decidable in FIFO Machines
Freier ZugriffDataCite | 2020|Verlag: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
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.