共 50 条
- [27] First and Higher Order Operator based Fractional Order Differentiator and Integrator Models TENCON 2009 - 2009 IEEE REGION 10 CONFERENCE, VOLS 1-4, 2009, : 972 - +
- [30] Harnessing First Order Termination Provers Using Higher Order Dependency Pairs FRONTIERS OF COMBINING SYSTEMS, 2011, 6989 : 147 - +