scientific article

zbMath0474.68019MaRDI QIDQ3929011

Jan A. Bergstra, Jan Willem Klop

Publication date: 1981

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

parameter algebrastarget algebrassemi-computable data type

Mathematics Subject Classification ID

Data structures (68P05) Applications of computability and recursion theory (03D80)

Related Items (1)

Structured algebraic specifications: A kernel language

This page was built for publication: