共 50 条
- [41] An operational approach to program extraction in the calculus of constructions LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2003, 2664 : 111 - 125
- [43] Nonlocal Cauchy problems for fractional order nonlinear differential systems CENTRAL EUROPEAN JOURNAL OF PHYSICS, 2013, 11 (10): : 1399 - 1413