scientific article
From MaRDI portal
Publication:3365443
zbMath1079.68576MaRDI QIDQ3365443
Publication date: 23 January 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Theory of numerations, effectively presented structures (03D45) Higher-type and set recursion theory (03D65)
This page was built for publication: