scientific article
From MaRDI portal
Publication:3919067
zbMath0466.68019MaRDI QIDQ3919067
Jan A. Bergstra, Jan Willem Klop
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Data structures (68P05) Applications of computability and recursion theory (03D80) Theory of numerations, effectively presented structures (03D45)
Related Items (2)
Algebraic specifiability of data types with minimal computable parameters ⋮ Term-rewriting systems with rule priorities
This page was built for publication:
