First International Workshop on Proof Theory for Automated Deduction, Automated Deduction for Proof Theory
Event name
First International Workshop on Proof Theory for Automated Deduction, Automated Deduction for Proof Theory
Event type
Event for scientific audience
Start date
23-10-2019
End date
25-10-2019
Location
Funchal, Portugal
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Rath, Jakob | Subsumption Demodulation in First-Order Theorem Proving | Präsentation Presentation | 2019 | |
| 2 | Kovacs, Laura | Verifying Relational Properties using Trace Logic | Präsentation Presentation | 2019 |