scientific article
From MaRDI portal
Publication:3024847
zbMath1063.03523MaRDI QIDQ3024847
Publication date: 4 July 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Higher-order rewrite systems and their confluence ⋮ The variable containment problem ⋮ Third-order matching in the polymorphic lambda calculus ⋮ Decidability of all minimal models
This page was built for publication:
