scientific article; zbMATH DE number 883895
From MaRDI portal
Publication:4880143
zbMath0846.68052MaRDI QIDQ4880143
Publication date: 21 July 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Intersection type assignment systems ⋮ Normalization results for typeable rewrite systems ⋮ Approximation and normalization results for typeable term rewriting systems ⋮ Pre-grammars and inhabitation for a subset of rank 2 intersection types
Uses Software
This page was built for publication:
