First Page | Document Content | |
---|---|---|
Date: 2013-04-14 08:37:31Graph 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 cooperationAdd to Reading ListSource URL: sunsite.informatik.rwth-aachen.deDownload Document from Source WebsiteFile Size: 567,47 KBShare Document on Facebook |