Search results for "Subset-relation"

Found 10 publication records. Showing 10 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	B. Bodenstorfer	Short Communication/Kureze Mitteilung. How many Minimal Upper Bounds of Minimal Upper Bounds.	Computing	1996	DBLP DOI BibTeX RDF	Subset-relation, minimal upper bound, generalized induction, nonmonotonic logic
18	Zachiri McKenzie	The subset relation and 2-stratified sentences in set theory and class theory.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
17	Larry M. Hines	Str+ve-Subset: The Str+ve-based Subset Prover.	CADE	1990	DBLP DOI BibTeX RDF
10	J Strother Moore	Finite Set Theory in ACL2.	TPHOLs	2001	DBLP DOI BibTeX RDF
7	Qingsong Ye, Huaxiong Wang, Josef Pieprzyk	Distributed Private Matching and Set Operations.	ISPEC	2008	DBLP DOI BibTeX RDF	private matching, private set operation, homomorphic encryption
7	Edith Cohen, Haim Kaplan	Summarizing data using bottom-k sketches.	PODC	2007	DBLP DOI BibTeX RDF	all-distances sketches, bottom-k sketches, data streams
7	Jinze Liu, Qi Zhang 0025, Wei Wang 0010, Leonard McMillan, Jan F. Prins	Clustering pair-wise dissimilarity data into partially ordered sets.	KDD	2006	DBLP DOI BibTeX RDF	PoCluster, clustering, poset, dissimilarity
7	Yoshikazu Shima, Kouichi Hirata, Masateru Harao	Extraction of Frequent Few-Overlapped Monotone DNF Formulas with Depth-First Pruning.	PAKDD	2005	DBLP DOI BibTeX RDF
7	Paul Pritchard	A Fast Bit-Parallel Algorithm for Computing the Subset Partial Order.	Algorithmica	1999	DBLP DOI BibTeX RDF	Subset graph, Subset partial order, Bit-parallel operation, Set-theoretic algorithms, Combinatorial set theory, Analysis of algorithms, Bit vector
7	Irene Weber	A Declarative Language Bias for Levelwise Search of First-Order Regularities.	ISMIS	1999	DBLP DOI BibTeX RDF

Displaying result #1 - #10 of 10 (100 per page; Change: )