Sortiert nach
Journal of automated reasoning, 2013-04, Vol.50 (4), p.423-456
2013
Link zum Volltext
Journal of parallel and distributed computing, 2019-10, Vol.132, p.242-249
2019
Link zum Volltext
Experimental mathematics, 2022-07, Vol.31 (2), p.355-363
2022
Link zum Volltext
ZDM, 2024-04
2024
Link zum Volltext
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 2018, p.328-343
2018
- Link zum Volltext
Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 2019-03, Vol.377 (2140), p.20180279-20180279
2019
Link zum Volltext
NASA Formal Methods, p.771-789
Link zum Volltext
Journal of combinatorial theory. Series A, 2024-08, Vol.206, p.105904, Article 105904
2024
Link zum Volltext
Journal of symbolic computation, 2024-07, Vol.123, p.102288, Article 102288
2024
Link zum Volltext
Certified Programs and Proofs, 2013, Vol.8307, p.147-162
2013
Link zum Volltext
Computer networks (Amsterdam, Netherlands : 1999), 2018-04, Vol.134, p.78-92
2018
Link zum Volltext
Principia (Florianópolis, Brazil), 2022, Vol.26 (3)
2022
Link zum Volltext
Turkish journal of mathematics, 2022-01, Vol.46 (4), p.1538-1552
2022
Link zum Volltext
Journal of automated reasoning, 2024-03, Vol.68 (1), p.1, Article 1
2024
Link zum Volltext
Security and communication networks, 2016-11, Vol.9 (16), p.3527-3542
2016
Link zum Volltext
Sensors (Basel, Switzerland), 2017-03, Vol.17 (3), p.644
2017
Link zum Volltext
Journal of systems architecture, 2022-11, Vol.132, p.102737, Article 102737
2022
Link zum Volltext
IEEE systems journal, 2019-09, Vol.13 (3), p.2830-2838
2019
- Link zum Volltext
Journal of automated reasoning, 2023-12, Vol.67 (4), p.33, Article 33
2023
Link zum Volltext
Studia Humana (Rzeszów), 2020-10, Vol.9 (3), p.10-18
2020
Link zum Volltext
Journal of automated reasoning, 2023-03, Vol.67 (1), p.5, Article 5
2023
Link zum Volltext
IEEE access, 2024-06, p.1-1
2024
Link zum Volltext
An authentication and signature scheme for UAV-assisted vehicular ad hoc network providing anonymity
2023
Link zum Volltext
Computers & electrical engineering, 2015-07, Vol.45, p.274-285
2015
Link zum Volltext
Journal of automated reasoning, 2012-10, Vol.49 (3), p.363-408
2012
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Mathematics
- Computer Science, Software Engineering
- Formal Proof
- Logic
- Theory Of Computation -- Logic -- Proof Theory
- Computer Science, Artificial Intelligence
- Artificial Intelligence
- Formal Verification
- Mathematical Logic And Formal Languages
- Mathematical Logic And Foundations
- Exact Sciences And Technology
- Applied Sciences
- Philosophy
- Physical Sciences
- Symbolic And Algebraic Manipulation
- Proof Theory
Kollektion
- IngentaConnect
- ACM
- Springer Book Series (Lecture Notes)
- SpringerLink_现刊
- Ebook Central Perpetual and DDA
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- eBooks on EBSCOhost
- RCN full-text journals@Ovid
- EZB Electronic Journals Library
- IEEE/IET Electronic Library (IEL)
- JSTOR
- Access via ScienceDirect (Elsevier)
- De Gruyter eBooks
- IngentaConnect Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Business Source Ultimate
- Wiley-Blackwell Full Collection
- Project Euclid
- Oxford University Press Books All Titles
- Cambridge Journals Online (DEFF)
Zeitschrift / Serie
- Journal Of Automated Reasoning
- Synthese
- Formal Aspects Of Computing
- Formal Methods In System Design
- Information Processing Letters
- Proceedings Of Acm On Programming Languages
- The Journal Of Symbolic Logic
- International Journal On Software Tools For Technology Transfer
- Studia Logica
- Theoretical Computer Science
Neu hinzugefügt