[Lecture Notes in Computer Science] Term Rewriting and Applications Volume 3467 || Partial Inversion of Constructor Term Rewriting Systems
- 作者Giesl, Jürgen
- 文件大小313.95KB
- 发表时间2005
- DOI10.1007/978-3-540-32033-3_20
- 页码264-278
Handbook of Ecomaterials || NanocelluloseMartínez, Leticia Myriam Torres; Kharissova, Oxana Vasilievna; Kharisov, Boris Ildusovich · 2018
Handbook of Ecomaterials || Photovoltaic MaterialsMartínez, Leticia Myriam Torres; Kharissova, Oxana Vasilievna; Kharisov, Boris Ildusovich · 2019
Handbook of Ecomaterials || Bioactive CosmeticsMartínez, Leticia Myriam Torres; Kharissova, Oxana Vasilievna; Kharisov, Boris Ildusovich · 2017
Handbook of Ecomaterials || RNA NanotechnologyMartínez, Leticia Myriam Torres; Kharissova, Oxana Vasilievna; Kharisov, Boris Ildusovich · 2018
Handbook of Ecomaterials || DNA NanotechnologyMartínez, Leticia Myriam Torres; Kharissova, Oxana Vasilievna; Kharisov, Boris Ildusovich · 2018
Handbook of Ecomaterials || Protein NanotechnologyMartínez, Leticia Myriam Torres; Kharissova, Oxana Vasilievna; Kharisov, Boris Ildusovich · 2018
Handbook of Ecomaterials || Plasmonic EcomaterialsMartínez, Leticia Myriam Torres; Kharissova, Oxana Vasilievna; Kharisov, Boris Ildusovich · 2018
Handbook of Ecomaterials || Metrology for Metal NanoparticlesMartínez, Leticia Myriam Torres; Kharissova, Oxana Vasilievna; Kharisov, Boris Ildusovich · 2019