Erscheinungsjahr
Format
Lizenz
Sprache
TIB-Lesesaalbestand
-
Owicki-Gries Reasoning for C11 RAR
Freier ZugriffDataCite | 2020|Schlagwörter: Theory of computation → Hoare logic, Theory of computation → Program reasoning, Theory of computation → Operational semantics, Theory of computation → Logic and verification, Theory of computation → Concurrency -
LIPIcs, Volume 152, CSL'20, Complete Volume
Freier ZugriffDataCite | 2020|Schlagwörter: Theory of computation, Logic, Theory of computation → Logic -
LIPIcs, Volume 141, ITP'19, Complete Volume
Freier ZugriffDataCite | 2019|Schlagwörter: Theory of computation, Logic, Theory of computation → Logic -
LIPIcs, Volume 140, CONCUR'19, Complete Volume
Freier ZugriffDataCite | 2019|Schlagwörter: Theory of computation, Concurrency, Theory of computation → Concurrency -
Owicki-Gries Reasoning for C11 RAR (Artifact)
Freier ZugriffDataCite | 2020|Schlagwörter: Theory of computation → Hoare logic, Theory of computation → Program reasoning, Theory of computation → Operational semantics, Theory of computation → Logic and verification, Theory of computation → Concurrency -
Formalising a Turing-Complete Choreographic Language in Coq
Freier ZugriffDataCite | 2021|Schlagwörter: Theory of computation → Process calculi, Theory of computation → Recursive functions, Theory of computation → Logic and verification -
Verifying an HTTP Key-Value Server with Interaction Trees and VST
Freier ZugriffDataCite | 2021|Schlagwörter: Theory of computation → Program specifications, Theory of computation → Separation logic, Theory of computation → Program verification -
Modules over Monads and Operational Semantics
Freier ZugriffDataCite | 2020|Schlagwörter: Theory of computation → Categorical semantics, Theory of computation → Operational semantics, Theory of computation → Semantics and reasoning -
LIPIcs, Volume 150, FSTTCS'19, Complete Volume
Freier ZugriffDataCite | 2019|Schlagwörter: Theory of computation -
Quantum SDP Solvers: Large Speed-Ups, Optimality, and Applications to Quantum Learning
Freier ZugriffDataCite | 2019|Schlagwörter: Theory of computation → Quantum query complexity, Theory of computation → Semidefinite programming, Theory of computation → Convex optimization -
LIPIcs, Volume 138, MFCS'19, Complete Volume
Freier ZugriffDataCite | 2019|Schlagwörter: Theory of computation -
LIPIcs, Volume 132, ICALP'19, Complete Volume
Freier ZugriffDataCite | 2019|Schlagwörter: Theory of computation -
CRDTs, Coalgebraically (Early Ideas)
Freier ZugriffDataCite | 2023|Schlagwörter: Theory of computation, Theory of computation → Formal languages and automata theory, Theory of computation → Distributed computing models, Theory of computation → Semantics and reasoning, Theory of computation → Concurrency -
LIPIcs, Volume 122, FSTTCS'18, Complete Volume
Freier ZugriffDataCite | 2018|Schlagwörter: Theory of Computation -
LIPIcs, Volume 118, CONCUR'18, Complete Volume
Freier ZugriffDataCite | 2018|Schlagwörter: Theory of Computation -
LIPIcs, Volume 102, CCC'18, Complete Volume
Freier ZugriffDataCite | 2018|Schlagwörter: Theory of computation -
LIPIcs, Volume 117, MFCS'18, Complete Volume
Freier ZugriffDataCite | 2018|Schlagwörter: Theory of computation -
Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding
Freier ZugriffDataCite | 2023|Schlagwörter: Theory of computation → Hoare logic, Theory of computation → Program reasoning, Theory of computation → Abstraction, Theory of computation → Separation logic, Theory of computation → Logic and verification -
LIPIcs, Volume 137, CCC'19, Complete Volume
Freier ZugriffDataCite | 2019|Schlagwörter: Theory of computation -
Monadic Decomposability of Regular Relations (Track B: Automata, Logic, Semantics, and Theory of Programming)
Freier ZugriffDataCite | 2019|Schlagwörter: Theory of computation → Regular languages, Theory of computation → Transducers, Theory of computation → Complexity classes, Theory of computation → Automated reasoning, 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.