research
∙
06/13/2018
TTT2 with Termination Templates for Teaching
On the one hand, checking specific termination proofs by hand, say using...
share
research
∙
05/25/2018
Certified Ordered Completion
On the one hand, ordered completion is a fundamental technique in equati...
research
∙
05/15/2018
The remote_build Tool
This is an introduction to the remote_build tool for transparent remote ...
research
∙
02/23/2018
Abstract Completion, Formalized
Completion is one of the most studied techniques in term rewriting and f...
research
∙
09/15/2017