scientific article
From MaRDI portal
Publication:3336678
zbMath0546.68017MaRDI QIDQ3336678
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Many-valued logic (03B50) General topics in the theory of software (68N01)