Project Leader
-
The Word Problem in Equational Logic (2012)
-
Proofs in Equational Logic (2011)
-
Solving Non-Linear Arithmetic (2011 - 2013)
Project Member
-
Confluence: Automation, Certification, Extensions (2010 - 2014)
-
Termination Tools: Verification and Optimization (2006 - 2010)