共 50 条
- [2] MORE ON THE FUNDAMENTAL THEOREM OF CALCULUS [J]. AMERICAN MATHEMATICAL MONTHLY, 1988, 95 (07): : 644 - 648
- [3] More on combings, and the closed calculus [J]. BRANCHED STANDARD SPINES OF 3-MANIFOLDS, 1997, 1653 : 73 - 84
- [7] More on bisimulations for higher order π-calculus [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2006, 3921 : 63 - 78