๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Higher order generalization and its application in program verification

โœ Scribed by Jianguo Lu; John Mylopoulos; Masateru Harao; Masami Hagiya


Book ID
110380011
Publisher
Springer Netherlands
Year
2000
Tongue
English
Weight
148 KB
Volume
28
Category
Article
ISSN
1012-2443

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Higher-Order Generalized Invexity and Du
โœ Shashi K. Mishra; Norma G. Rueda ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 124 KB

In this paper, we introduce the concepts of higher-order type-I, pseudo-type-I, and quasi-type-I functions and establish various higher-order duality results involving these functions.