Preliminaries Problem representation Search systems

First Page		Document Content
Date: 2015-04-29 02:58:54 Total order Finitary relation Graph Cartesian product Equivalence relation Transitive closure Mathematics Order theory Binary relation		Preliminaries Problem representation Search systems Add to Reading List Source URL: www.atomki.hu Download Document from Source Website File Size: 751,92 KB Share Document on Facebook

	On the Positive Calculus of Relations with Transitive Closure Damien Pous Univ. Lyon, CNRS, ENS de Lyon, UCB Lyon 1, LIP DocID: 1ud5Z - View Document
	Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms Chan Le Duc1 and Myr DocID: 1tgOq - View Document
	Size-Estimation Framework with Applications to Transitive Closure and Reachability∗ Edith Cohen AT&T Bell Laboratories Murray Hill, NJ 07974 DocID: 1t0SI - View Document
	An Agda Formalisation of the Transitive Closure of Block Matrices (Extended Abstract) Adam Sandberg Eriksson Patrik Jansson DocID: 1sTbz - View Document
	Microsoft PowerPoint - IEEEBigData2013V5.ppt [Compatibility Mode] DocID: 1rjlX - View Document