Publication:2722024
From MaRDI portal
zbMath0966.68133MaRDI QIDQ2722024
Magne Haveraaen, Eric G. Wagner
Publication date: 11 July 2001
08A70: Applications of universal algebra in computer science
68Q65: Abstract data types; algebraic specification
Related Items
Uses Software