Erscheinungsjahr
Datenquelle
Fach
Format
Lizenz
Sprache
-
More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words
Freier ZugriffDataCite | 2023|Schlagwörter: Theory of computation → Logic and verification -
The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas
Freier ZugriffDataCite | 2020|Schlagwörter: Theory of computation → Logic and verification -
Mechanized Formal Model of Bitcoin’s Blockchain Validation Procedures
Freier ZugriffDataCite | 2020|Schlagwörter: Theory of computation → Logic and verification -
Entropic Risk for Turn-Based Stochastic Games
Freier ZugriffDataCite | 2023|Schlagwörter: Theory of computation → Logic and verification -
Effective Auxiliary Variables via Structured Reencoding
Freier ZugriffDataCite | 2023|Schlagwörter: Theory of computation → Logic and verification -
A Complete, Mechanically-Verified Proof of the Banach-Tarski Theorem in ACL2(R)
Freier ZugriffDataCite | 2022|Schlagwörter: Theory of computation → Logic and verification -
The Challenges of Weak Persistency (Invited Talk)
Freier ZugriffDataCite | 2021|Schlagwörter: Theory of computation → Logic and verification -
The Orbit Problem for Parametric Linear Dynamical Systems
Freier ZugriffDataCite | 2021|Schlagwörter: Theory of computation → Logic and verification -
On Uniformization in the Full Binary Tree
Freier ZugriffDataCite | 2022|Schlagwörter: Theory of computation → Logic and verification -
The Complexity of Presburger Arithmetic with Power or Powers
Freier ZugriffDataCite | 2023|Schlagwörter: Theory of computation → Logic and verification -
Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes
Freier ZugriffDataCite | 2021|Schlagwörter: Theory of computation → Logic and verification -
From Verification to Causality-Based Explications (Invited Talk)
Freier ZugriffDataCite | 2021|Schlagwörter: Theory of computation → Logic and verification -
Towards Verifying the Bitcoin-S Library (Short Paper)
Freier ZugriffDataCite | 2020|Schlagwörter: Theory of computation → Logic and verification -
On Robustness for the Skolem and Positivity Problems
Freier ZugriffDataCite | 2022|Schlagwörter: Theory of computation → Logic and verification -
On Positivity and Minimality for Second-Order Holonomic Sequences
Freier ZugriffDataCite | 2021|Schlagwörter: Theory of computation → Logic and verification -
On Verifying Timed Hyperproperties
Freier ZugriffDataCite | 2019|Schlagwörter: Theory of computation → Logic and verification -
User Interface Design in the HolPy Theorem Prover (Invited Talk)
Freier ZugriffDataCite | 2022|Schlagwörter: Theory of computation → Logic and verification -
A Natural Formalization of the Mutilated Checkerboard Problem in Naproche
Freier ZugriffDataCite | 2021|Schlagwörter: Theory of computation → Logic and verification -
Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity
Freier ZugriffDataCite | 2023|Schlagwörter: Theory of computation → Logic and verification -
QMusExt: A Minimal (Un)satisfiable Core Extractor for Quantified Boolean Formulas
Freier ZugriffDataCite | 2023|Schlagwörter: Theory of computation → Logic and verification
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.