Year of publication
Type of media
Source
Subject
Type of material
TIB reading rooms collection
Synonyms were used for: Theory
Search without synonyms: keywords:(Theory of Computation)
Used synonyms:
- theorie
- theories
-
Owicki-Gries Reasoning for C11 RAR
Free accessDataCite | 2020|Keywords: 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
Free accessDataCite | 2020|Keywords: Theory of computation, Logic, Theory of computation → Logic -
LIPIcs, Volume 141, ITP'19, Complete Volume
Free accessDataCite | 2019|Keywords: Theory of computation, Logic, Theory of computation → Logic -
Modules over Monads and Operational Semantics
Free accessDataCite | 2020|Keywords: Theory of computation → Categorical semantics, Category theory, Theory of computation → Operational semantics, Theory of computation → Semantics and reasoning -
Unital Anti-Unification: Type and Algorithms
Free accessDataCite | 2020|Keywords: Theory of computation → Equational logic and rewriting, Theory of computation → Rewrite systems, collapse theories, unital theories, Theory of computation → Tree languages -
Quantum Pseudoentanglement
Free accessDataCite | 2024|Keywords: Theory of computation → Pseudorandomness and derandomization, Quantum complexity theory, Theory of computation → Quantum computation theory, Theory of computation → Quantum complexity theory -
Linear Lambda-Calculus is Linear
Free accessDataCite | 2022|Keywords: Theory of computation → Proof theory, Theory of computation → Linear logic, Theory of computation → Lambda calculus, Theory of computation → Quantum computation theory, Proof theory -
Session Subtyping and Multiparty Compatibility Using Circular Sequents
Free accessDataCite | 2020|Keywords: Theory of computation → Proof theory, Theory of computation → Linear logic, Theory of computation → Process calculi, Theory of computation → Type theory -
LIPIcs, Volume 140, CONCUR'19, Complete Volume
Free accessDataCite | 2019|Keywords: Theory of computation, Concurrency, Theory of computation → Concurrency -
CRDTs, Coalgebraically (Early Ideas)
Free accessDataCite | 2023|Keywords: 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 -
Classical vs Quantum Advice and Proofs Under Classically-Accessible Oracle
Free accessDataCite | 2024|Keywords: quantum computation, Theory of computation → Complexity classes, Theory of computation → Quantum computation theory -
Computational Pseudorandomness, the Wormhole Growth Paradox, and Constraints on the AdS/CFT Duality (Abstract)
Free accessDataCite | 2020|Keywords: Theory of computation → Pseudorandomness and derandomization, Quantum complexity theory, Theory of computation → Quantum computation theory, Theory of computation → Quantum complexity theory -
Complexity-Theoretic Limitations on Blind Delegated Quantum Computation
Free accessDataCite | 2019|Keywords: Complexity theory, Theory of computation → Quantum computation theory, Delegated quantum computation, Theory of computation → Quantum complexity theory -
A Compressed Classical Description of Quantum States
Free accessDataCite | 2019|Keywords: Quantum computation, Theory of computation → Quantum computation theory, Theory of computation → Quantum complexity theory -
Computing Real Numbers with Large-Population Protocols Having a Continuum of Equilibria
Free accessDataCite | 2022|Keywords: Theory of computation → Probabilistic computation, Analog computation, Theory of computation → Abstract machines, Theory of computation → Interactive computation -
Lower Bounds on the Running Time of Two-Way Quantum Finite Automata and Sublogarithmic-Space Quantum Turing Machines
Free accessDataCite | 2021|Keywords: Quantum computation, Theory of computation → Formal languages and automata theory, Theory of computation → Quantum computation theory -
LIPIcs, Volume 145, APPROX/RANDOM'19, Complete Volume
Free accessDataCite | 2019|Keywords: Theory of computation, Mathematics of computing, Mathematics of computing; Theory of computation -
Owicki-Gries Reasoning for C11 RAR (Artifact)
Free accessDataCite | 2020|Keywords: 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 -
Gödel’s Theorem Without Tears - Essential Incompleteness in Synthetic Computability
Free accessDataCite | 2023|Keywords: Theory of computation → Constructive mathematics, synthetic computability theory, Theory of computation → Type theory, Theory of computation → Logic and verification -
LIPIcs, Volume 126, STACS'19, Complete Volume
Free accessDataCite | 2019|Keywords: Mathematics of computing → Graph theory, Theory of computation → Models of computation, Theory of computation → Formal languages and automata theory, Theory of computation, Models of computation, Mathematics of computing, Combinatorics, Graph theory, Formal language theory, Logic, Mathematics of computing → Combinatorics, Theory of computation → Logic, Theory of computation → Parameterized complexity and exact algorithms
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.