Weak Theories of Concatenation and Arithmetic
- 期刊名称Notre Dame Journal of Formal Logic
- 作者Horihata, Yoshihiro
- 卷第53卷
- 期第2期
- 印刷ISSN0029-4527
- 文件大小271.47KB
- 发表时间2012
- DOI10.1215/00294527-1715698
- 页码203-222
Making It SimplextSaggion, Horacio; Štajner, Sanja; Bott, Stefan; Mille, Simon; Rello, Luz; Drndarevic, Biljana · ACM Transactions on Accessible Computing · 2015
Guest EditorialTrewin, Shari · ACM Transactions on Accessible Computing · 2008
Guest EditorialBarreto, Armando; Felzer, Torsten · ACM Transactions on Accessible Computing · 2009
Access and EmpowermentLadner, Richard E. · ACM Transactions on Accessible Computing · 2008
ITHACAPino, Alexandros; Kouroupetroglou, Georgios · ACM Transactions on Accessible Computing · 2010
Guest Editorial ASSETS 2009McCoy, Kathleen F. · ACM Transactions on Accessible Computing · 2010
Orienting KinestheticallyAmemiya, Tomohiro; Sugiyama, Hisashi · ACM Transactions on Accessible Computing · 2010
Introduction ASSETS’10 Special IssueHanson, Vicki L.; Sears, Andrew · ACM Transactions on Accessible Computing · 2011