Sharing Analysis Based on Type Inference
- 期刊名称Formal Aspects of Computing
- 作者Minamide, Yasuhiko
- 卷第6卷
- 期第6期
- 印刷ISSN0934-5043
- 电子ISSN1433-299X
- 文件大小979.82KB
- 发表时间1994-12
- DOI10.1007/bf03259391
- 页码659-675
同作者推荐
Thermodynamics of the System Fe−Mn−S: Part III. Equilibria Involving Solid and Liquid Phases in the Temperature Range 1100 to 1300°CManfred Fischer,Klaus Schwerdtfeger · 1978
Thermodynamics of the system Fe-Mn-S: Part I. activities in Iron sulfide-manganese Sulfide Solid Solutions in the Temperature Range 1100 to 1400°CManfred Fischer; Klaus Schwerdtfeger · 1977