共 50 条
- [3] Non-linear Rewrite Closure and Weak Normalization [J]. 24TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2009, : 365 - +
- [4] Non-Linear Rewrite Closure and Weak Normalization [J]. Journal of Automated Reasoning, 2013, 51 : 281 - 324
- [7] CERTAIN VERSIONS OF THE FORMULATION OF PROBLEMS OF NON-LINEAR ELASTICITY IN TERMS OF STRESSES [J]. PMM JOURNAL OF APPLIED MATHEMATICS AND MECHANICS, 1983, 47 (06): : 775 - 782
- [8] CHARACTERIZATION OF WEAK CLOSURE OF CERTAIN SETS OF INTEGRABLE FUNCTIONS [J]. SIAM JOURNAL ON CONTROL, 1974, 12 (02): : 311 - 318
- [9] NON-LINEAR FRACTIONAL FUNCTIONAL PROGRAMMING WITH NON-LINEAR CONSTRAINTS [J]. ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND MECHANIK, 1968, 48 (04): : 284 - &
- [10] A DUALITY THEOREM IN NON-LINEAR PROGRAMMING WITH NON-LINEAR CONSTRAINTS [J]. AUSTRALIAN JOURNAL OF STATISTICS, 1961, 3 (02): : 64 - 72