scientific article
From MaRDI portal
Publication:4001983
zbMath0734.03015MaRDI QIDQ4001983
Publication date: 18 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Context rewriting ⋮ Confluence and superdevelopments ⋮ Two-level Lambda-calculus ⋮ Combinatory reduction systems: Introduction and survey
This page was built for publication: