Sortiert nach
International journal on software tools for technology transfer, 2023-04, Vol.25 (2), p.167-184
2023
Volltextzugriff (PDF)
Journal of automated reasoning, 2016-03, Vol.56 (3), p.221-259
2016
Volltextzugriff (PDF)
Journal of functional programming, 2014-05, Vol.24 (2-3), p.284-315
2014
Volltextzugriff (PDF)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, Vol.9632, p.589-615
2016
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, TACAS, Luxembourg City, Luxembourg, 2021, Vol.12652 LNCS, p.223
2021
Volltextzugriff (PDF)
Journal of automated reasoning, 2020-10, Vol.64 (7), p.1287-1306
2020
Volltextzugriff (PDF)
Journal of functional programming, 2019, Vol.29, Article e2
2019
Volltextzugriff (PDF)
Journal of automated reasoning, 2019-08, Vol.63 (2), p.463-488
2019
Volltextzugriff (PDF)
Journal of automated reasoning, 2015-08, Vol.55 (2), p.117-183
2015
Volltextzugriff (PDF)
De nästa 700 verifierade kompilatorerna, 2024, Vol.14577 LNCS, p.275
2024
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-06, Vol.7 (PLDI), p.1121-1144, Article 152
2023
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-06, Vol.7 (PLDI), p.952-976, Article 145
2023
Volltextzugriff (PDF)
9th International Joint Conference on Automated Reasoning, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, United Kingdom, 2018, Vol.10900, p.646-662
2018
Volltextzugriff (PDF)
9th International Conference on Interactive Theorem Proving, ITP 2018, Oxford, United Kingdom, 2018, Vol.10895 LNCS, p.362
2018
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-11, Vol.4 (OOPSLA), p.1-29, Article 204
2020
Volltextzugriff (PDF)
31st International Conference on Computer Aided Verification, CAV 2019, New York, USA, 2019, Vol.11562 LNCS, p.155
2019
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2017-09, Vol.1 (ICFP), p.1-27
2017
Volltextzugriff (PDF)
18th International Symposium on Trends in Functional Programming, TFP 2017, Canterbury, United Kingdom, 2018, Vol.10788, p.118-134
2018
Volltextzugriff (PDF)
10th International Working Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, Oxford, United Kingdom, 2018, Vol.11294 LNCS, p.88-111
2018
Volltextzugriff (PDF)
Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021, p.32-45
2021
Volltextzugriff (PDF)
Interactive Theorem Proving, 2017, Vol.10499 LNCS, p.444-461
2017
Volltextzugriff (PDF)
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018, p.617-630
2018
Volltextzugriff (PDF)
Interactive Theorem Proving, 2015, Vol.9236, p.453-468
2015
Volltextzugriff (PDF)
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016, p.60-73
2016
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Compiler Verification
- Computer Science, Artificial Intelligence
- Machine Code
- Semantics
- Theorem Proving
- Interactive Theorem Proving
- Compilers
- Logic
- Theorem Prover
- Theory Of Computation
- Garbage Collection
- Programming Languages
- Separation Logic
- Software And Its Engineering
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
Kollektion
- IngentaConnect
- Springer Book Series
- ACM Digital Library
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink Journals - AutoHoldings
- Journals@Ovid Complete
- IEEE Electronic Library (IEL)
- Cambridge Journals Online (DEFF)
- ScienceDirect Journals (5 years ago - present)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- EBSCOhost Business Source Ultimate
- ProQuest Dissertations & Theses A&I
Zeitschrift / Serie
- Sigplan Notices
- Journal Of Automated Reasoning
- Acm Sigplan Notices
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Journal Of Functional Programming
- Communications Of The Acm
- Electronic Notes In Theoretical Computer Science
- International Journal On Software Tools For Technology Transfer
- Science Of Computer Programming
Neu hinzugefügt