scientific article; zbMATH DE number 627411
From MaRDI portal
Publication:4304752
zbMath0810.03011MaRDI QIDQ4304752
Publication date: 20 April 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Relating two categorical models of term rewriting ⋮ Unnamed Item ⋮ Redexes are stable in the λ-calculus ⋮ Relating conflict-free stable transition and event models via redex families
This page was built for publication:
