Strong (2 ⋅ t) and Strong (3 ⋅ t) Transformations for Strong M-Equivalence
- 期刊名称International Journal of Foundations of Computer Science
- 作者Poovanandran, Ghajendran; Teh, Wen Chean
- 卷第30卷
- 期第5期
- 印刷ISSN0129-0541
- 电子ISSN1793-6373
- 文件大小401.40KB
- 发表时间2019-08
- DOI10.1142/s0129054119500187
- 页码719-733
同期刊推荐
Bioceramics for drug deliveryArcos, Daniel; Vallet-Regí, María · Acta Materialia · 2013
Editors for Acta MaterialiaActa Materialia · 2013
Contents and author index volume 42 1994Acta Metallurgica et Materialia · 1994
Fracture toughness of brittle foamsHuang, J.S.; Gibson, L.J. · Acta Metallurgica et Materialia · 1991
Materials challenges in nuclear energyZinkle, S.J.; Was, G.S. · Acta Materialia · 2013
Ostwald ripening in multicomponent alloysPhilippe, T.; Voorhees, P.W. · Acta Materialia · 2013
Management and recycling of electronic wasteTanskanen, Pia · Acta Materialia · 2013
Microstructures of undercooled germaniumLau, C.F.; Kui, H.W. · Acta Metallurgica et Materialia · 1991