Sortiert nach
Annals of pure and applied logic, 2024-12, Vol.175 (10), p.103485, Article 103485
2024
Volltextzugriff (PDF)
2024
Volltextzugriff (PDF)
Advances in Cryptology – CRYPTO 2019, p.115-146
Volltextzugriff (PDF)
IEEE transactions on engineering management, 2020-11, Vol.67 (4), p.1142-1156
2020
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2023-09, Vol.45 (3), p.1-61, Article 15
2023
Volltextzugriff (PDF)
Journal of network and computer applications, 2021-05, Vol.182, p.103035, Article 103035
2021
Volltextzugriff (PDF)
Computer (Long Beach, Calif.), 2017, Vol.50 (9), p.38-49
2017
Volltextzugriff (PDF)
Advances in Cryptology – EUROCRYPT 2020, p.769-793
Volltextzugriff (PDF)
Annals of pure and applied logic, 2024-12, Vol.175 (10)
2024
Volltextzugriff (PDF)
Annals of mathematics, 2017-05, Vol.185 (3), p.991-1015
2017
Volltextzugriff (PDF)
Mathematics (Basel), 2020-10, Vol.8 (10), p.1782
2020
Volltextzugriff (PDF)
Technological forecasting & social change, 2024-10, Vol.207, p.123628, Article 123628
2024
Volltextzugriff (PDF)
Digital communications and networks, 2020-11, Vol.6 (4), p.480-485
2020
Volltextzugriff (PDF)
Synthese (Dordrecht), 2020, Vol.197 (1), p.233-247
2020
Volltextzugriff (PDF)
IEEE transactions on dependable and secure computing, 2022-01, Vol.19 (1), p.39-53
2022
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2023-06, Vol.45 (2), p.1-30, Article 12
2023
Volltextzugriff (PDF)
Annals of pure and applied logic, 2018-10, Vol.169 (10), p.971-980
2018
Volltextzugriff (PDF)
Journal of environmental management, 2023-01, Vol.326, p.116530-116530, Article 116530
2023
Volltextzugriff (PDF)
SIAM journal on computing, 2022-08, Vol.51 (4), p.1172-1229
2022
Volltextzugriff (PDF)
Journal of the ACM, 2023-10, Vol.70 (5), p.1-57, Article 31
2023
Volltextzugriff (PDF)
Energy economics, 2024-10, Vol.138, p.107820, Article 107820
2024
Volltextzugriff (PDF)
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
- Exact Sciences And Technology
- Burden Of Proof
- Logic
- Social Sciences
- Humans
- Proof Theory
- Proof Of Concept Study
- Science & Technology - Other Topics
- Computer Science, Information Systems
- Applied Sciences
- Proof
- Engineering
Kollektion
- IngentaConnect Journals
- EZB Free E-Journals
- JSTOR Complete Journals
- Springer Book Series
- Single Journals
- Springer Nature - Complete Springer Journals
- Ebook Central Perpetual and DDA
- MEDLINE
- eBooks on EBSCOhost
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Journals@Ovid Complete
- IEEE Xplore
- ACM Digital Library Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Business Source Ultimate
- Nexis Uni
- Taylor & Francis Journals Auto-Holdings Collection
- Taylor & Francis Current Content Access
Zeitschrift / Serie
Neu hinzugefügt