News:Certified non-standard termination
From Termination-Portal.org
Apr 24, 2009
Proposal: Certification of Relative Termination and Termination modulo Theories
Views
Personal tools
- This page was last modified on 24 April 2009, at 10:49.
- This page has been accessed 614 times.
- About Termination-Portal.org (Impressum)