TERM: a parallel executable graph reduction machine for equational language

K. Ohmaki, S. Tomura, K. Inoue, T. Ito, K. Ito, K. Torii. TERM: a parallel executable graph reduction machine for equational language. Parallel Computing, 11(1):1-16, 1989.

Abstract

Abstract is missing.