Publication:4250366
From MaRDI portal
zbMath0924.03048MaRDI QIDQ4250366
Publication date: 17 June 1999
03B70: Logic in computer science
68Q65: Abstract data types; algebraic specification
68Q42: Grammars and rewriting systems
Related Items