Sortiert nach
Annals of pure and applied logic, 2024-06, p.103485, Article 103485
2024
Link zum Volltext
Advances in Cryptology – CRYPTO 2019, p.115-146
Link zum Volltext
1, 2024
Link zum Volltext
IEEE transactions on engineering management, 2020-11, Vol.67 (4), p.1142-1156
2020
- Link zum Volltext
ACM transactions on programming languages and systems, 2023-09, Vol.45 (3), p.1-61, Article 15
2023
Link zum Volltext
1st, 2019
Link zum Volltext
Journal of network and computer applications, 2021-05, Vol.182, p.103035, Article 103035
2021
Link zum Volltext
Computer (Long Beach, Calif.), 2017, Vol.50 (9), p.38-49
2017
- Link zum Volltext
Advances in Cryptology – EUROCRYPT 2020, p.769-793
Link zum Volltext
Annals of mathematics, 2017-05, Vol.185 (3), p.991-1015
2017
Link zum Volltext
Mathematics (Basel), 2020-10, Vol.8 (10), p.1782
2020
Link zum Volltext
1, 2023
Link zum Volltext
Annals of pure and applied logic, 2018-10, Vol.169 (10), p.971-980
2018
Link zum Volltext
Open Problems in Network Security, p.112-125
Link zum Volltext
IEEE transactions on dependable and secure computing, 2022-01, Vol.19 (1), p.39-53
2022
- Link zum Volltext
Journal of environmental management, 2023-01, Vol.326, p.116530-116530, Article 116530
2023
Link zum Volltext
Synthese (Dordrecht), 2020, Vol.197 (1), p.233-247
2020
Link zum Volltext
Journal of the ACM, 2023-10, Vol.70 (5), p.1-57, Article 31
2023
Link zum Volltext
Theoretical computer science, 2015-04, Vol.576, p.77-84
2015
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Mathematics
- Physical Sciences
- Computer Science, Theory & Methods
- Logical Proofs
- Life Sciences & Biomedicine
- Burden Of Proof
- Exact Sciences And Technology
- Social Sciences
- Humans
- Logic
- Proof Theory
- Proof Of Concept Study
- Science & Technology - Other Topics
- Applied Sciences
- Computer Science, Information Systems
- Proof
- Mathematical Theorems
Kollektion
- Ingenta
- Free E-Journal (出版社公開部分のみ）
- JSTOR
- HEAL-Link subscriptions: Springer Book Series
- NUS Single-Journal Subscriptions
- Springer Journals
- MEDLINE
- Ebook Central Perpetual and DDA
- Elsevier ScienceDirect Journals Complete
- eBooks on EBSCOhost
- IngentaConnect Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- IEEE/IET Electronic Library (IEL)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library
- EBSCOhost Business Source Ultimate
- Nexis
- Taylor & Francis
- Wiley Online Library All Journals
Zeitschrift / Serie
Neu hinzugefügt