scientific article
From MaRDI portal
Publication:3780427
zbMath0639.68028MaRDI QIDQ3780427
M. C. J. D. van Eekelen, M. J. Plasmeijer
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Parallel graph rewriting on loosely coupled machine architectures ⋮ Needed reduction and spine strategies for the lambda calculus ⋮ Infinitary combinatory reduction systems ⋮ Descendants and origins in term rewriting.
Uses Software
This page was built for publication:
