Talks and Poster Presentations (without Proceedings-Entry):
L. Kovacs:
"Verifying Relational Properties using Trace Logic";
Talk: First International Workshop on Proof Theory for Automated Deduction, Automated Deduction for Proof Theory,
Funchal, Portugal;
2019-10-23
- 2019-10-25.