Deciding Functional Lists with Sublist Sets

First Page		Document Content
Date: 2011-11-18 09:02:21 Higher-order functions Model theory Graph theory Mathematical induction Structural induction Fold Map List Interpretation Software engineering Mathematics Computing		Deciding Functional Lists with Sublist Sets Add to Reading List Source URL: lara.epfl.ch Download Document from Source Website File Size: 229,85 KB Share Document on Facebook

	Theory and Techniques for Synthesizing a Family of Graph Algorithms Srinivas Nedunuri William R. Cook DocID: 1xVkB - View Document
	PDF Document DocID: 1xkJU - View Document
	Graph theory Po-Shen Loh June DocID: 1vmTo - View Document
	Graph theory Po-Shen Loh June DocID: 1vhpu - View Document
	Graph theory Po-Shen Loh June DocID: 1v8nl - View Document