共 50 条
- [41] A decision procedure for monotone functions over bounded and complete lattices THEORY AND APPLICATIONS OF RELATIONAL STRUCTURES AS KNOWLEDGE INSTRUMENTS II, 2006, 4342 : 318 - +
- [42] Vector Lyapunov Functions, Complete Sets of Guiding Functions, and the Existence of Poisson Bounded Solutions Russian Mathematics, 2021, 65 : 15 - 21
- [45] Complete involutive algebras of functions on cotangent bundles of homogeneous spaces Mathematische Zeitschrift, 2004, 246 : 213 - 236