共 50 条
- [25] Refinement Types and Higher-Order Constrained Horn Clauses ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (258): : 72 - +
- [28] Some modifications of the quasilinearization method with higher-order convergence for solving nonlinear BVPs Numerical Algorithms, 2013, 63 : 399 - 417
- [30] HIGHER-ORDER STROBOSCOPIC METHOD ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND PHYSIK, 1979, 30 (02): : 315 - 325