Keyword:deduction

Publications
Automating the Diagram Method to Prove Correctness of Program Transformations David Sabel EasyChair Preprint 415
We know (nearly) nothing!l But can we learn? Stephan Schulz In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements