Pages that link to "Item:Q5259298"
From MaRDI portal
The following pages link to Efficient Rough Set Theory Merging (Q5259298):
Displaying 13 items.
- Stone lattices. (Q271910) (← links)
- Improving legibility of formal proofs based on the close reference principle is NP-hard (Q286805) (← links)
- Binary relations-based rough sets -- an automated approach (Q502682) (← links)
- Tarski geometry axioms. II (Q502683) (← links)
- Flexary connectives in Mizar (Q1749141) (← links)
- Formal development of rough inclusion functions (Q2305345) (← links)
- The formal construction of fuzzy numbers (Q2353434) (← links)
- Basic formal properties of triangular norms and conorms (Q2407504) (← links)
- Developing complementary rough inclusion functions (Q2658816) (← links)
- Accessing the Mizar Library with a Weakly Strict Mizar Parser (Q2817295) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- Computer Certification of Generalized Rough Sets Based on Relations (Q5082208) (← links)
- Automated Comparative Study of Some Generalized Rough Approximations (Q5164851) (← links)
