Year of publication
Subject
Type of material
Licence
Language
Synonyms were used for: Theory
Search without synonyms: keywords:(Theory of Computation)
Used synonyms:
- theorie
- theories
-
Digital Currencies as Types (Invited Talk)
Free accessDataCite | 2021|Keywords: Theory of computation → Linear logic, Theory of computation → Type theory, Theory of computation → Semantics and reasoning -
Cognitive Robotics
Free accessGWLB - Gottfried Wilhelm Leibniz Bibliothek | 2022|Keywords: Mathematical theory of computation -
Authenticated Data Structures as Functors in Isabelle/HOL
Free accessDataCite | 2020|Keywords: Theory of computation → Cryptographic primitives, Theory of computation → Higher order logic, Theory of computation → Logic and verification -
Non-radiative Wireless Power Transmission: Theory and Applications
Springer Verlag | 2016|Keywords: Theory of Computation -
Certifying the Weighted Path Order (Invited Talk)
Free accessDataCite | 2020|Keywords: Theory of computation → Equational logic and rewriting, Theory of computation → Logic and verification -
On Prover-Efficient Public-Coin Emulation of Interactive Proofs
Free accessDataCite | 2021|Keywords: Theory of computation → Interactive proof systems, Theory of computation → Computational complexity and cryptography -
Non-Separable Multi-Dimensional Network Flows for Visual Computing
Free accessDataCite | 2023|Keywords: Theory of computation, Theory and algorithms for application domains, CCS Concepts: Theory of computation -> Design and analysis of algorithms; Theory and algorithms for application domains, Design and analysis of algorithms -
Three-Dimensional Crossbar Arrays of Self-rectifying Si/SiO2/Si Memristors
Springer Verlag | 2019|Keywords: Theory of Computation -
Interactive Wireless Charging for Energy Balance
Springer Verlag | 2016|Keywords: Theory of Computation -
A Taxonomy and Evaluation Framework for Memristive Logic
Springer Verlag | 2019|Keywords: Theory of Computation -
Memristor Cellular Automata and Memristor Discrete-Time Cellular Neural Networks
Springer Verlag | 2019|Keywords: Theory of Computation -
Resistance Switching Memories are Memristors
Springer Verlag | 2019|Keywords: Theory of Computation -
Klassische Verschlüsselungen knacken: Primfaktorzerlegung
Springer Verlag | 2022|Keywords: Theory of Computation
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.