Aachen Department of Computer Science Technical Report Better termination proving through cooperation

First Page		Document Content
Date: 2013-04-14 08:37:31 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 Source URL: sunsite.informatik.rwth-aachen.de Download Document from Source Website File Size: 567,47 KB Share Document on Facebook