TERM: A parallel executable graph reduction machine for equational language
Kazuhito Ohmaki, Satoru Tomura, Katsuro Inoue, Toshio Ito, Keiichi Ito, Koji ToriiVolume:
11
Year:
1989
Language:
english
Pages:
16
DOI:
10.1016/0167-8191(89)90060-4
File:
PDF, 859 KB
english, 1989