scientific article
From MaRDI portal
Publication:3024911
zbMath1063.03520MaRDI QIDQ3024911
Publication date: 4 July 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
On the longest perpetual reductions in orthogonal expression reduction systems ⋮ Semantical analysis of perpetual strategies in \(\lambda\)-calculus ⋮ Perpetuality and uniform normalization in orthogonal rewrite systems
This page was built for publication:
