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 141, ITP'19, Complete Volume
Free accessDataCite | 2019|Keywords: Theory of computation, Logic, Theory of computation → Logic -
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 -
LIPIcs, Volume 152, CSL'20, Complete Volume
Free accessDataCite | 2020|Keywords: Theory of computation, Logic, Theory of computation → Logic -
LIPIcs, Volume 140, CONCUR'19, Complete Volume
Free accessDataCite | 2019|Keywords: Theory of computation, Concurrency, Theory of computation → Concurrency -
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 -
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 -
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 -
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 -
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 -
From Bit-Parallelism to Quantum String Matching for Labelled Graphs
Free accessDataCite | 2023|Keywords: Theory of computation → Pattern matching, quantum computation, Theory of computation → Graph algorithms analysis, Theory of computation → Quantum computation theory, Theory of computation → Parallel algorithms -
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 -
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 -
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 -
Cubical Syntax for Reflection-Free Extensional Equality
Free accessDataCite | 2019|Keywords: Theory of computation → Type theory, Theory of computation → Denotational semantics, Dependent type theory, cubical type theory, Theory of computation → Algebraic semantics -
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 -
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
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.