scientific article
From MaRDI portal
Publication:4026906
zbMath0774.68035MaRDI QIDQ4026906
Publication date: 21 February 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algebraic specificationabstract data typespolyadic algebrasconstructivizationsdecomposition of homomorphismsmultisorted algebrasprogramming specification
Database theory (68P15) Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items (1)
This page was built for publication:
