Unifying theories in ProofPower-Z
- 期刊名称Formal Aspects of Computing
- 作者Oliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim
- 卷第25卷
- 期第1期
- 印刷ISSN0934-5043
- 电子ISSN1433-299X
- 文件大小580.33KB
- 发表时间2013-01
- DOI10.1007/s00165-007-0044-5
- 页码133-158
同作者推荐
同期刊推荐
Resonance in rarefied gasesStruchtrup, Henning · Continuum Mechanics and Thermodynamics · 2012
Phase equilibria in isotropic solidsŠilhavý, M. · Continuum Mechanics and Thermodynamics · 2013
PrefacePastor, Manuel · Continuum Mechanics and Thermodynamics · 2015
A model of layered prismatic shellsJaiani, George · Continuum Mechanics and Thermodynamics · 2016
Thermomechanical characterisation of cellular rubberSeibert, H.; Scheffer, T.; Diebels, S. · Continuum Mechanics and Thermodynamics · 2016
Microinertia and internal variablesBerezovski, Arkadi; Ván, Peter · Continuum Mechanics and Thermodynamics · 2016
Micropolar continuum in spatial descriptionIvanova, Elena A.; Vilchevskaya, Elena N. · Continuum Mechanics and Thermodynamics · 2016