Sortiert nach
Journal of automated reasoning, 2024-09, Vol.68 (3), p.14
2024
Link zum Volltext
Journal of automated reasoning, 2019-04, Vol.62 (4), p.481-503
2019
Link zum Volltext
Journal of automated reasoning, 2020-03, Vol.64 (3), p.513-532
2020
Link zum Volltext
Computer Safety, Reliability, and Security, p.35-49
Link zum Volltext
Journal of automated reasoning, 2019-06, Vol.63 (1), p.53-94
2019
Link zum Volltext
Journal of automated reasoning, 2018, Vol.60 (1), p.3-21
2018
Link zum Volltext
Theory and Applications of Satisfiability Testing – SAT 2017, p.457-463
Link zum Volltext
Interactive Theorem Proving, p.84-99
Link zum Volltext
Automated Reasoning, 2020, p.307-323
2020
Link zum Volltext
ACM transactions on programming languages and systems, 2022-09, Vol.44 (3), p.1-36
2022
Link zum Volltext
Interactive Theorem Proving, 2015, p.253-269
2015
Link zum Volltext
Journal of automated reasoning, 2018, Vol.61 (1-4), p.333-365
2018
Link zum Volltext
Journal of automated reasoning, 2021-02, Vol.65 (2), p.321-356
2021
Link zum Volltext
Journal of automated reasoning, 2019-02, Vol.62 (2), p.261-280
2019
Link zum Volltext
Proceedings of ACM on programming languages, 2023-06, Vol.7 (PLDI), p.100-123, Article 110
2023
Link zum Volltext
Electronic proceedings in theoretical computer science, 2013-01, Vol.129 (Festschrift for Dave Schmidt), p.384-403
2013
Link zum Volltext
Interactive Theorem Proving, p.325-340
Link zum Volltext
Automated Deduction - CADE 26, 2017, Vol.10395, p.237-254
2017
Link zum Volltext
Automated Technology for Verification and Analysis, p.181-202
Link zum Volltext
Interactive Theorem Proving, p.339-354
Link zum Volltext
Interactive Theorem Proving, p.166-182
Link zum Volltext
NASA Formal Methods, p.307-321
Link zum Volltext
Computer Aided Verification, p.167-183
Link zum Volltext
Computer Aided Verification, p.463-478
Link zum Volltext
2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI), 2018, p.474-479
2018
- Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Artificial Intelligence
- Computer Science, Software Engineering
- Isabelle/hol
- Artificial Intelligence
- Mathematical Logic And Formal Languages
- Mathematical Logic And Foundations
- Symbolic And Algebraic Manipulation
- Algorithms
- Formal Verification
- Correctness Proof
- Data Structures
- Physical Sciences
- Program Verification
- Software
- Software Engineering
- Stepwise Refinement
Kollektion
Zeitschrift / Serie
- Journal Of Automated Reasoning
- International Journal On Software Tools For Technology Transfer
- Journal Of Physics. Conference Series
- Acm Sigplan Notices
- Acm Transactions On Programming Languages And Systems
- Dr2004: Sixth International Conference On Dissociative Recombination: Theory, Experiments And Applications
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Proceedings Of Acm On Programming Languages
- Sigplan Notices
Neu hinzugefügt