scientific article; zbMATH DE number 1107619
From MaRDI portal
Publication:4373553
zbMath0886.03022MaRDI QIDQ4373553
Maura Cerioli, Bernd Krieg-Brückner, Till Mossakowski, Anne Elisabeth Haxthausen
Publication date: 21 January 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
order-sorted logicCoFI algebraic specification languageoverload resolution algorithmpermissive subsorted partial logic
Logic in computer science (03B70) Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65)
Related Items
Generalized Theoroidal Institution Comorphisms, Amalgamation in the semantics of CASL, CASL: the Common Algebraic Specification Language., Relating CASL with other specification languages: the institution level.
Uses Software
