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
Osteoblastoma of the Os CapitatumKaptan, Çağrı; Atmaca, Halil · Case Reports in Orthopedics · 2014
Extraosseous Intra-Articular OsteochondromaMohanen, Pragash; Palania Pillai, Kumaresan; Rangasamy, Kanagasabai · Case Reports in Orthopedics · 2013
Unusual Cause of Knee LockingHuri, Gazi; Biçer, Omer Sunkar · Case Reports in Orthopedics · 2013
Gas Gangrene in Orthopaedic PatientsYing, Zhimin; Zhang, Min; Yan, Shigui; Zhu, Zhong · Case Reports in Orthopedics · 2013
Ocular Infection Preceding Major Epidural AbscessDunbar, Liam; Johnstone, Ryan · Case Reports in Orthopedics · 2014
An Unusual Case of Hand XanthomatosisHuri, Gazi; Joachim, Noah · Case Reports in Orthopedics · 2013
Hypersensitivity to Suture AnchorsGoto, Masafumi; Gotoh, Masafumi; Mitsui, Yasuhiro; Tanesue, Ryo; Okawa, Takahiro; Higuchi, Fujio; Shiba, Naoto · Case Reports in Orthopedics · 2013
Posttraumatic Cortical Defect of FemurNadarajah, Jeyaseelan; Srivastava, Deep N.; Malhotra, Rajesh; Palaniswamy, Aravindh · Case Reports in Orthopedics · 2013