Sortiert nach
2021
Link zum Volltext
1, 2012
Link zum Volltext
Journal of automated reasoning, 2023-03, Vol.67 (1), p.4, Article 4
2023
Link zum Volltext
ACM transactions on programming languages and systems, 2015-04, Vol.37 (2), p.1-31, Article 7
2015
Link zum Volltext
Journal of automated reasoning, 2018-06, Vol.61 (1-4), p.367-422
2018
Link zum Volltext
Journal of automated reasoning, 2023-03, Vol.67 (1), p.8, Article 8
2023
Link zum Volltext
Formal methods in system design, 2021-10, Vol.58 (1-2), p.322-345
2021
Link zum Volltext
Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 2017-10, Vol.375 (2104), p.20160331-20160331
2017
Link zum Volltext
ACM transactions on programming languages and systems, 2010-03, Vol.32 (3), p.1-67
2010
Link zum Volltext
Journal of automated reasoning, 2012-10, Vol.49 (3), p.453-491
2012
Link zum Volltext
Software Verification and Formal Methods for ML-Enabled Autonomous Systems, p.147-163
Link zum Volltext
Lecture notes in computer science, 2006, p.80-94
2006
Link zum Volltext
Intelligent Computer Mathematics, p.206-221
Link zum Volltext
2021
Link zum Volltext
Journal of Formalized Reasoning, 2020-12, Vol.13 (1), p.1-16
2020
Link zum Volltext
Proceedings of ACM on programming languages, 2019-08, Vol.3 (ICFP), p.1-29
2019
Link zum Volltext
ACM transactions on programming languages and systems, 1996-05, Vol.18 (3), p.300-324
1996
Link zum Volltext
Journal of Formalized Reasoning, 2021-03, Vol.13 (1), p.1-16
2021
Link zum Volltext
Journal of Formalized Reasoning, 2021-03, Vol.13 (1)
2021
Link zum Volltext
Proceedings of ACM on programming languages, 2021-08, Vol.5 (ICFP), p.1-29
2021
Link zum Volltext
Journal of Formalized Reasoning, 2020-01, Vol.13 (1), p.1-16
2020
Link zum Volltext
2023 IEEE 30th Symposium on Computer Arithmetic (ARITH), 2023, p.36-43
2023
Link zum Volltext
Proceedings of ACM on programming languages, 2021-08, Vol.5 (ICFP), p.1-30
2021
Link zum Volltext
Proceedings of ACM on programming languages, 2017-10, Vol.1 (OOPSLA), p.1-28
2017
Link zum Volltext
Alan Turing's Systems of Logic, 2021, p.1
2021
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Software Engineering
- Life Sciences & Biomedicine
- Computer Science, Theory & Methods
- Humans
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Male
- Software
- Female
- Middle Aged
- Physical Sciences
- Programming Languages
- Separation Logic
- Aged
- Software And Its Engineering -- Software Notations And Tools -- Compilers
- Logic
Kollektion
- ACM Digital Library Complete
- EZB Free E-Journals
- Ingenta
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- MEDLINE
- NUS Single-Journal Subscriptions
- De Gruyter eBooks
- SpringerLink Series
- SpringerLink (Online service)
- Elsevier ScienceDirect Journals Complete
- EBSCOhost Business Source Ultimate
- Cambridge Journals Online (DEFF)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Online Library Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- Wiley Online Library Full Collection 2018
- JSTOR Complete Journals
- IEEE Xplore Digital Library
- Ebook Central Perpetual and DDA
Zeitschrift / Serie
- Sigplan Notices
- Journal Of Functional Programming
- Acm Transactions On Programming Languages And Systems
- Communications Of The Acm
- Journal Of Automated Reasoning
- Lisp And Symbolic Computation
- Proceedings Of Acm On Programming Languages
- The New England Journal Of Medicine
- Acm Sigplan Notices
- American Journal Of Kidney Diseases
Neu hinzugefügt