scientific article

zbMath0712.68067MaRDI QIDQ3197343

N. Kh. Kasymov, Andrey S. Morozov

Publication date: 1987

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

zbMATH Keywords

surveyalgebraic specification of abstract data types

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Related Items (2)

Computability and universal determinability of negatively representable models ⋮ Separable algorithmic representations of classical systems and their applications

This page was built for publication: