Publication:4702593
From MaRDI portal
zbMath0949.03028MaRDI QIDQ4702593
Till Mossakowski, Horst Reichel, Maura Cerioli
Publication date: 24 November 1999
free models; data type specification; algebraic frameworks; conditional fragments; error algebras; order-sortedness; partial first-order logic
03B70: Logic in computer science
68Q65: Abstract data types; algebraic specification
03B10: Classical first-order logic
Related Items
CASL: the Common Algebraic Specification Language., Relating CASL with other specification languages: the institution level.