Better termination proving through cooperation Marc Brockschmidt1 , Byron Cook2,3 , and Carsten Fuhs3 1 2

First Page		Document Content
Date: 2013-04-13 17:39:03 Graph theory Static program analysis Termination analysis Cograph IP KeY Graph coloring		Better termination proving through cooperation Marc Brockschmidt1 , Byron Cook2,3 , and Carsten Fuhs3 1 2 Add to Reading List Source URL: www.dcs.bbk.ac.uk Download Document from Source Website File Size: 456,72 KB Share Document on Facebook

	Finding Four-Node Subgraphs in Triangle Time Virginia Vassilevska Williams∗ Joshua R. Wang† Abstract DocID: 1rg2z - View Document
	Aachen Department of Computer Science Technical Report Better termination proving through cooperation DocID: 1rezO - View Document
	Forbidden Induced Subgraphs and the Price of Connectivity for Feedback Vertex Set R´emy Belmonte1,? , Pim van ’t Hof1,? , Marcin Kami´ nski2,?? , and Dani¨el Paulusma3,? ? ? 1 DocID: 1qTAq - View Document
	New Results on Maximum Induced Matchings in Bipartite Graphs and Beyond Konrad K. Dabrowskia,b , Marc Demangec,d , Vadim V. Lozina a DIMAP b School DocID: 1qQA2 - View Document
	An optimal algorithm for the k-fixed-endpoint path cover on proper interval graphs George B. Mertzios and Walter Unger Department of Computer Science RWTH Aachen, Germany {mertzios, quax}@cs.rwth-aachen.de DocID: 1qMfK - View Document