zbMath0411.68032MaRDI QIDQ4198050
P. V. Gorshkov
Publication date: 1979
zbMATH Keywords
equivalence problem; complete system of identities; regular functions over algebras of data structures
Mathematics Subject Classification ID
68Q65: Abstract data types; algebraic specification
68P05: Data structures