[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - On the axiomatizability of quantitative algebras
- 作者Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon
- 文件大小345.41KB
- 发表时间2017
- DOI10.1109/LICS.2017.8005102
- 页码1-12
Graphene Frequency MultipliersHan Wang, ; Nezich, D.; Jing Kong, ; Palacios, T. · IEEE Electron Device Letters · 2009
Impact ionization in GaAs MESFETsHui, K.; Hu, C.; George, P.; Ko, P.K. · IEEE Electron Device Letters · 1990
Stability Analysis in CNTFETsHaji-Nasiri, Saeed; Moravvej-Farshi, Mohammad Kazem · IEEE Electron Device Letters · 2013
A Memristor Device ModelYakopcic, Chris; Taha, Tarek M.; Subramanyam, Guru; Pino, Robinson E.; Rogers, Stanley · IEEE Electron Device Letters · 2011
Junctionless Tunnel Field Effect TransistorGhosh, Bahniman; Akram, Mohammad Waseem · IEEE Electron Device Letters · 2013
Strained SOI FINFET SRAM DesignKerber, Pranita; Kanj, Rouwaida; Joshi, Rajiv V. · IEEE Electron Device Letters · 2013
Electromigration characteristics of copper interconnectsTao, J.; Cheung, N.W.; Hu, C. · IEEE Electron Device Letters · 1993
MOSFET drain breakdown voltageWu-Shiung Feng, ; Chan, T.Y.; Chenming Hu · IEEE Electron Device Letters · 1986