Combining linear logic and size types for implicit complexity
- 期刊名称Theoretical Computer Science
- 作者Baillot, Patrick; Ghyselen, Alexis
- 印刷ISSN0304-3975
- 文件大小1655.19KB
- 发表时间2019-9
- DOI10.1016/j.tcs.2019.09.032
Infrared spectra of soluble polyanilineTang, Jinsong; Jing, Xiabin; Wang, Baochen; Wang, Fosong · Synthetic Metals · 1988
Charged solitons in pernigranilineCao, Y.; Heeger, A.J. · Synthetic Metals · 1990
Polyaniline: Allowed oxidation statesMasters, J.G.; Sun, Y.; MacDiarmid, A.G.; Epstein, A.J. · Synthetic Metals · 1991
Soluble polyanilineLi, Suzhen; Cao, Yong; Xue, Zhijian · Synthetic Metals · 1987
Polyacetylene photovoltaic devicesWeinberger, B.R.; Akhtar, M.; Gau, S.C. · Synthetic Metals · 1982
The kinetics of electropolymerizationSchultze, J.W; Thyssen, A · Synthetic Metals · 1991
Overoxidation in conducting polymersKrische, B.; Zagorska, M. · Synthetic Metals · 1989
Polyaniline films. Electrochemical redox mechanismsGenies, E.M.; Lapkowski, M. · Synthetic Metals · 1988