scientific article
From MaRDI portal
Publication:3970435
zbMath0742.68045MaRDI QIDQ3970435
Publication date: 25 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
This page was built for publication: