The First International ARCADE (Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements) Workshop
Event name
The First International ARCADE (Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements) Workshop
Start date
06-08-2017
Location
Gothenburg, Sweden
Country
Event format Veranstaltungsformat
On Site
Date issued
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Reger, Giles ; Suda, Martin | Checkable Proofs for First-Order Theorem Proving | Konferenzbeitrag Inproceedings  | 2017 | |
| 2 | Heule, Marijn ; Kiesl, Benjamin | The Potential of Interference-Based Proof Systems | Konferenzbeitrag Inproceedings | 2017 |