Ma Zherui is an author at Huaibei Normal University specializing in formal methods, automated reasoning, and engineering.
Top concepts
Publications per year
1991–1991
1
1
Logical operators on complete lattices
Ma Zherui, Wu Wangming · Information Sciences · 1991 · 57 citations
Rows per page
1–1 of 1