Computer Certification of Generalized Rough Sets Based on Relations (Q5082208): Difference between revisions

@@ Property / cites work @@
+Mizar: State-of-the-art and Beyond
@@ Property / cites work: Mizar: State-of-the-art and Beyond / rank @@
+Normal rank
@@ Property / cites work @@
+Mining the Archive of Formal Proofs
@@ Property / cites work: Mining the Archive of Formal Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4892370
@@ Property / cites work: Q4892370 / rank @@
+Normal rank
@@ Property / cites work @@
+ROUGH FUZZY SETS AND FUZZY ROUGH SETS*
@@ Property / cites work: ROUGH FUZZY SETS AND FUZZY ROUGH SETS* / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing complemented lattices within Mizar type system
+Normal rank
@@ Property / cites work @@
+Binary relations-based rough sets -- an automated approach
+Normal rank
@@ Property / cites work @@
+Automated Discovery of Properties of Rough Sets
@@ Property / cites work: Automated Discovery of Properties of Rough Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Rough Set Theory Merging
@@ Property / cites work: Efficient Rough Set Theory Merging / rank @@
+Normal rank
@@ Property / cites work @@
+Lattice Theory for Rough Sets – A Case Study with Mizar
+Normal rank
@@ Property / cites work @@
+Monitoring, security, and rescue techniques in multiagent systems. Selected contributions presented at the international workshop ``Monitoring, security, and rescue techniques in multiagent systems'' (MSRAS 2004), Płock, Poland, June 7--9, 2004.
+Normal rank
@@ Property / cites work @@
+Lattice Theory for Rough Sets
@@ Property / cites work: Lattice Theory for Rough Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Flexary connectives in Mizar
@@ Property / cites work: Flexary connectives in Mizar / rank @@
+Normal rank
@@ Property / cites work @@
+Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver
+Normal rank
@@ Property / cites work @@
+On conflicts
@@ Property / cites work: On conflicts / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003537
@@ Property / cites work: Q4003537 / rank @@
+Normal rank
@@ Property / cites work @@
+Improving legibility of formal proofs based on the close reference principle is NP-hard
+Normal rank
@@ Property / cites work @@
+Obvious inferences
@@ Property / cites work: Obvious inferences / rank @@
+Normal rank
@@ Property / cites work @@
+Q4892379
@@ Property / cites work: Q4892379 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar
+Normal rank
@@ Property / cites work @@
+Q5302561
@@ Property / cites work: Q5302561 / rank @@
+Normal rank
@@ Property / cites work @@
+Two views of the theory of rough sets in finite universes
+Normal rank
@@ Property / cites work @@
+Covering based rough set approximations
@@ Property / cites work: Covering based rough set approximations / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy sets
@@ Property / cites work: Fuzzy sets / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized rough sets based on relations
@@ Property / cites work: Generalized rough sets based on relations / rank @@
+Normal rank
@@ Property / cites work @@
+Topological approaches to covering rough sets
@@ Property / cites work: Topological approaches to covering rough sets / rank @@
+Normal rank
@@ Property / cites work @@
+Variable precision rough set model
@@ Property / cites work: Variable precision rough set model / rank @@
+Normal rank