Back to Results
First PageMeta Content
Graph theory / Mathematics / Discrete mathematics / Static program analysis / Termination analysis / Graph / Cograph / KeY / IP / Ear decomposition


Aachen Department of Computer Science Technical Report Better termination proving through cooperation
Add to Reading List

Document Date: 2013-04-14 08:37:31


Open Document

File Size: 567,47 KB

Share Result on Facebook