共 50 条
- [45] An Abstract Domain of Uninterpreted Functions VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2016, 2016, 9583 : 85 - 103
- [46] The abstract derivation of functions of sets COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES, 1935, 201 : 579 - 581
- [47] ON UNIFORM APPROXIMATIONS OF ABSTRACT FUNCTIONS CANADIAN MATHEMATICAL BULLETIN, 1967, 10 (01): : 99 - &
- [50] A representation of continuous abstract functions COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES, 1940, 210 : 429 - 431