Formalizing two generalized approximation operators (Q2311527): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Mizar: State-of-the-art and Beyond / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3146276 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automated Discovery of Properties of Rough Sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lattice Theory for Rough Sets – A Case Study with Mizar / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formalization of generalized almost distributive lattices. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relational Formal Characterization of Rough Sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Binary relations-based rough sets -- an automated approach / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Duplication in Mathematical Repositories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mathematical Knowledge Management / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lattice Theory for Rough Sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Introduction to formal preference spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rough sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Two views of the theory of rough sets in finite universes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generalized rough sets based on relations / rank
 
Normal rank

Revision as of 20:04, 19 July 2024

scientific article
Language Label Description Also known as
English
Formalizing two generalized approximation operators
scientific article

    Statements

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references