Categorical concepts for parameterized partial specifications
- 期刊名称Mathematical Structures in Computer Science
- 作者Claßen, Ingo; GroßE-Rhode, Martin; Wolter, Uwe
- 卷第5卷
- 期第2期
- 印刷ISSN0960-1295
- 电子ISSN1469-8072
- 文件大小1902.47KB
- 发表时间1995-6
- DOI10.1017/S0960129500000700
同期刊推荐
Microstructural Characterization of Multiphase SteelsZaefferer, Stefan · Materials Science Forum · 2003
Positron Annihilation in PolymersJean, Y.C. · Materials Science Forum · 1995
Multifunctional Mesoporous NanocompositesBanerjee, Shilpi; Chakravorty, Dipankar · Materials Science Forum · 2012
Acoustic Emission in Amorphous MetalsVinogradov, A.; Leksovskii, A. · Materials Science Forum · 1996
1.2 Mechanical spectroscopySan Juan, José · Materials Science Forum · 2001
3.3 Dislocation - Point Defect InteractionsGremaud, G. · Materials Science Forum · 2001
3.5 High Temperature DampingRivière, Andre · Materials Science Forum · 2001
3.6 RecrystallizationSchaller, R.; Rivière, Andre · Materials Science Forum · 2001