scientific article; zbMATH DE number 1107619

From MaRDI portal

Revision as of 23:55, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4373553

Jump to:navigation, search

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.

zbMATH Keywords

order-sorted logic CoFI algebraic specification language overload resolution algorithm permissive subsorted partial logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65)

Related Items (4)

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

CoFI

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4373553&oldid=18367357"