Property-dependent reductions adequate with divergence-sensitive branching bisimilarity
- 期刊名称Science of Computer Programming
- 作者Mateescu, Radu; Wijs, Anton
- 卷第96卷
- 印刷ISSN0167-6423
- 文件大小1246.90KB
- 发表时间2014-12
- DOI10.1016/j.scico.2014.04.004
- 页码354-376
Accelerated rehabilitation for meniscus repairsBarber, F. Alan · Arthroscopy: The Journal of Arthroscopic & Related Surgery · 1994
Meniscal impingement syndromeMcGuire, David A.; Barber, F.Alan; Hendricks, Stephen D. · Arthroscopy: The Journal of Arthroscopic & Related Surgery · 1996
Posteromedial ankle impingementLiu, Stephen H.; Mirzayan, Raffy · Arthroscopy: The Journal of Arthroscopic & Related Surgery · 1993
Cover ImageArthroscopy: The Journal of Arthroscopic & Related Surgery · 2013
President's messageGillquist, Jan · Arthroscopy: The Journal of Arthroscopic & Related Surgery · 1988
Lasers in arthroscopic surgeryBrillhart, Allen T. · Arthroscopy: The Journal of Arthroscopic & Related Surgery · 1991
Arthroscopy in acute patellar dislocationsStanco, Luca · Arthroscopy: The Journal of Arthroscopic & Related Surgery · 1988
Authors’ ReplyWaterman, Brian R.; Lamblin, Corey J.; Lubowitz, James H. · Arthroscopy: The Journal of Arthroscopic & Related Surgery · 2014