Erscheinungsjahr
Format
Lizenz
Sprache
TIB-Lesesaalbestand
-
Algebraic and Analytic Methods in Computational Complexity (Dagstuhl Seminar 22371)
Freier ZugriffDataCite | 2023|Schlagwörter: Theory of computation, Theory of computation → Circuit complexity, Theory of computation → Problems, reductions and completeness, Theory of computation → Algebraic complexity theory -
Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification (Artifact)
Freier ZugriffDataCite | 2023|Schlagwörter: Theory of computation → Denotational semantics, Theory of computation → Separation logic, Theory of computation → Programming logic -
LIPIcs, Volume 145, APPROX/RANDOM'19, Complete Volume
Freier ZugriffDataCite | 2019|Schlagwörter: Theory of computation, Mathematics of computing; Theory of computation -
Brief Announcement: Line Formation in Silent Programmable Matter
Freier ZugriffDataCite | 2023|Schlagwörter: Theory of computation → Distributed algorithms, Theory of computation → Concurrency, Theory of computation → Self-organization -
Optimal Time-Backlog Tradeoffs for the Variable-Processor Cup Game
Freier ZugriffDataCite | 2022|Schlagwörter: Theory of computation → Online algorithms, Theory of computation → Parallel algorithms, Theory of computation → Scheduling algorithms -
Improved Extractors for Recognizable and Algebraic Sources
Freier ZugriffDataCite | 2019|Schlagwörter: Theory of computation, Theory of computation → Pseudorandomness and derandomization -
Tighter MA/1 Circuit Lower Bounds from Verifier Efficient PCPs for PSPACE
Freier ZugriffDataCite | 2023|Schlagwörter: Theory of computation → Interactive proof systems, Theory of computation → Circuit complexity, Theory of computation → Complexity classes -
Realizability Models for Large Cardinals
Freier ZugriffDataCite | 2024|Schlagwörter: Theory of computation → Proof theory, Theory of computation → Type theory, Theory of computation → Logic -
SAT and Interactions (Dagstuhl Seminar 20061)
Freier ZugriffDataCite | 2020|Schlagwörter: Theory of computation → Description logics, Theory of computation → Automated reasoning, Theory of computation → Proof theory, Theory of computation → Complexity theory and logic, Theory of computation → Proof complexity, Theory of computation → Modal and temporal logics -
LIPIcs, Volume 33, CCC'15, Complete Volume
Freier ZugriffDataCite | 2015|Schlagwörter: Theory of Computation -
Polynomial Termination Over ℕ Is Undecidable
Freier ZugriffDataCite | 2022|Schlagwörter: Theory of computation → Equational logic and rewriting, Theory of computation → Rewrite systems, Theory of computation → Computability -
LIPIcs, Volume 269, TYPES 2022, Complete Volume
Freier ZugriffDataCite | 2023|Schlagwörter: Theory of computation → Linear logic, Theory of computation → Interactive proof systems, Theory of computation → Type theory, Theory of computation → Logic, Theory of computation → Proof theory, Theory of computation → Constructive mathematics, Theory of computation → Process calculi, Theory of computation → Type structures, Theory of computation → Logic and verification -
The Gödel Fibration
Freier ZugriffDataCite | 2021|Schlagwörter: Theory of computation → Proof theory, Theory of computation → Constructive mathematics, Theory of computation → Higher order logic -
Strong Bisimulation for Control Operators (Invited Talk)
Freier ZugriffDataCite | 2020|Schlagwörter: Theory of computation → Linear logic, Theory of computation → Lambda calculus, Theory of computation → Operational semantics -
Simulation by Rounds of Letter-To-Letter Transducers
Freier ZugriffDataCite | 2022|Schlagwörter: Theory of computation → Verification by model checking, Theory of computation → Abstraction, Theory of computation → Concurrency -
A Computational Separation Between Quantum No-Cloning and No-Telegraphing
Freier ZugriffDataCite | 2024|Schlagwörter: Theory of computation → Quantum query complexity, Theory of computation → Oracles and decision trees, Theory of computation → Complexity classes, Theory of computation → Cryptographic primitives, Theory of computation → Quantum complexity theory -
Mechanising Complexity Theory: The Cook-Levin Theorem in Coq
Freier ZugriffDataCite | 2021|Schlagwörter: Theory of computation → Constructive mathematics, Theory of computation → Lambda calculus, Theory of computation → Problems, reductions and completeness, Theory of computation → Complexity classes, Theory of computation → Logic and verification -
LIPIcs, Volume 239, TYPES 2021, Complete Volume
Freier ZugriffDataCite | 2022|Schlagwörter: Theory of computation → Linear logic, Theory of computation → Interactive proof systems, Theory of computation → Type theory, Theory of computation → Logic, Theory of computation → Proof theory, Theory of computation → Constructive mathematics, Theory of computation → Process calculi, Theory of computation → Type structures, Theory of computation → Logic and verification -
Monads and Quantitative Equational Theories for Nondeterminism and Probability
Freier ZugriffDataCite | 2020|Schlagwörter: Theory of computation → Categorical semantics, Theory of computation → Axiomatic semantics, Theory of computation → Logic and verification -
Learning Automata and Transducers: A Categorical Approach
Freier ZugriffDataCite | 2021|Schlagwörter: Theory of computation → Transducers, Theory of computation → Algebraic language theory
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.