TERM: A parallel executable graph reduction machine for equational language

• 作者Kazuhito Ohmaki; Satoru Tomura; Katsuro Inoue; Toshio Ito; Keiichi Ito; Koji Torii
• 卷第11卷
• 期第1期
• 印刷ISSN0167-8191
• 文件大小859.30KB
• 发表时间1989
• DOI10.1016/0167-8191(89)90060-4
• 页码1-16