scientific article
From MaRDI portal
Publication:3664413
zbMath0516.68019MaRDI QIDQ3664413
Jan A. Bergstra, Jan Willem Klop
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Algebraic specifiability of data types with minimal computable parameters, Term-rewriting systems with rule priorities
