scientific article; zbMATH DE number 512795
From MaRDI portal
Publication:4281488
zbMath0806.03014MaRDI QIDQ4281488
Publication date: 16 February 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (11)
Nominal rewriting ⋮ Confluence and superdevelopments ⋮ More problems in rewriting ⋮ Problems in rewriting III ⋮ Higher-order rewrite systems and their confluence ⋮ Developing developments ⋮ Unnamed Item ⋮ Development closed critical pairs ⋮ On the confluence of lambda-calculus with conditional rewriting ⋮ Infinite \(\lambda\)-calculus and types ⋮ Combinatory reduction systems: Introduction and survey
This page was built for publication:
