共 50 条
- [4] MONOTONE MATRIX OPERATIONS NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (01): : A71 - A71
- [6] A decision procedure for monotone functions over bounded and complete lattices THEORY AND APPLICATIONS OF RELATIONAL STRUCTURES AS KNOWLEDGE INSTRUMENTS II, 2006, 4342 : 318 - +